中国科学院数学与系统科学研究院期刊网
初等几何定理机器证明的基本原理
吴文俊
BASIC PRINCIPLES OF MECHANICAL THEOREM PROVING IN ELEMENTARY GEOMETRIES
WU WENJUN (WU WEN-TSUN)
系统科学与数学 . 1984, (3): 207 -235 .  DOI: 10.12341/jssms08900