几何自动推理相关论文
几何推理作为高级的智力活动,自然成为人工智能领域最先尝试的问题之一。几何定理机器证明经过几十年的发展,虽然已经取得丰富的成......
几何学具有悠久的历史,两千多年来积累下来的几何知识是人类的宝贵财富。其中,几何证明是几何学的精华之一。几何题的证法,没有统......
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干......
复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复......
