A review and prospect of readable machine proofs for geometry theorems |
| |
Authors: | Jianguo Jiang Jingzhong Zhang |
| |
Affiliation: | 1. School of Mathematics, Liaoning Normal University, Dalian, 116029, China 2. Laboratory of Computer Reasoning and Trustworthy Compution, University of Electronic Science and Technology of China, Chengdu, 610054, China 3. Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, 610041, China
|
| |
Abstract: | After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning. |
| |
Keywords: | |
本文献已被 CNKI SpringerLink 等数据库收录! |
|