中国科学院数学与系统科学研究院期刊网
几何定理机器证明三十年
张景中;李永彬
Automatic Theorem Proving for Three Decades
ZHANG Jingzhong;LI Yongbin
系统科学与数学 . 2009, (9): 1155 -1168 .  DOI: 10.12341/jssms08447