几何自动推理相关论文
几何推理作为高级的智力活动,自然成为人工智能领域最先尝试的问题之一。几何定理机器证明经过几十年的发展,虽然已经取得丰富的成......
在符号计算中，最困难的一个地方是中间计算过程的表达式快速膨胀．基于不变量代数的符号几何计算为解决这个困难提供了可能．比如，利用零......
几何学具有悠久的历史,两千多年来积累下来的几何知识是人类的宝贵财富。其中,几何证明是几何学的精华之一。几何题的证法,没有统......
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干......
复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复......
智能解答是人工智能中的重要研究领域。随着教育信息化的深入发展,要求教育资源智能化,而不是简单的“电子化”。教育软件缺少智能......
