<正>引言向量法解题平易简捷,但也有一定的技巧,且对几何图形有一定的依赖性.当遇到一个构图更复杂的几何问题时,用向量解题往往需......

探讨了在初等平面几何范围内定理机器证明切实可行的2种方法：Grobner基方法与吴方法，介绍了它们相应的算法原理和实现方法，并进行了实......

1994年,16岁的王小川完成了“几何定理机器证明”的课题,这不仅受到了杨振宁的高度赞赏,还吸引了时任国务院副总理的李岚清的注意,......

几何定理证明的数值验证法以数值计算代替符号计算来提高效率，但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计......

将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存......

Clifford代数是一种深深根植于几何学之中的代数系统。近年来 ,它在微分几何、理论物理、经典分析等方面取得了辉煌的成就 ,是现代......

动态几何软件(Dynamic Geometry Software)与普通的作图软件有着本质上的不同。它绘制的几何图形不但精确,而且还具有动态性,这使......

...

目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎，其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理，这极大......

机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用，是我国攀登计划项目之一。项目......

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立......

可持续发展的几何自动推理平台（sustainable geometry automated reasoning platform,SGARP）支持用户按需添加或修改几何定理机器证......

...