本文已被：浏览 3229次 下载 4323次
中文摘要: 几何定理的机器证明在自动推理的研究中占有重要的地位。今后１０到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有显著的进展。几何问题机器求解的研究成果，会在实际应用中发挥更大的作用。
Abstract:
keywords:
文章编号： 中图分类号：TP399 文献标志码：
基金项目:
| Author Name | Affiliation |
引用文本：
张景中.几何定理机器证明研究展望[J].中国科学院院刊,1997,(2):88-91.
.[J].Bulletin of Chinese Academy of Sciences,1997,(2):88-91.
张景中.几何定理机器证明研究展望[J].中国科学院院刊,1997,(2):88-91.
.[J].Bulletin of Chinese Academy of Sciences,1997,(2):88-91.
