REDUCE对几何定理机器证明的应用  

作　　者：张家驹[1] 

机构地区：[1]中国科学院上海分院测试计算中心,上海200031

出　　处：《数学的实践与认识》1991年第3期51-56,共6页Mathematics in Practice and Theory

摘　　要：本文以三个例子——Feuerbach 定理、Pappus 线图象、Simson 定理的机器证明为例说明计算机代数软件 REDUCE 对几何定理的机械化证明的应用.

关 键 词：REDUCE 几何定理 机器证明 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]