张景中.几何定理机器证明研究展望[J].中国科学院院刊,1997,(2):88-91.

作者

张景中
成都计算机应用研究所!成都　610041

中文关键词

几何定理;机器证明;研究

中文摘要

几何定理的机器证明在自动推理的研究中占有重要的地位。今后１０到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有显著的进展。几何问题机器求解的研究成果，会在实际应用中发挥更大的作用。

作者简介