期刊论文

Chen Mao（陈矛）

英文

系统科学与复杂性(英文版)

1009-6124

2019

32

1

78-94

10.1007/s11424-019-8350-6

National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, China; Institute of Computational Science and Technology, Guangzhou University, Guangzhou 510006, China; Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing 610041, China. PENG Xicheng · CHEN Mao (Corresponding author) National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, China. Email: chenmao@mail.ccnu.edu.cn. ∗This work was supported in part by the National Key Research and Development Program of China under Grant No. 2017YFB1401302, the National Natural Science Foundation of China under Grant No. 41671377. ⋄This paper was recommended for publication by Editor LI Hongbo.

本校为第一且通讯机构

The algebraic methods represented by Wu's method have made significant breakthroughs in the field of geometric theorem proving. Algebraic proofs usually involve large amounts of calculations, thus making it difficult to understand intuitively. However, if the authors look at Wu's method from the perspective of identity,Wu's method can be understood easily and can be used to generate new geometric propositions. To make geometric reasoning simpler, more expressive, and richer in geometric meaning, the authors establish a geometric algebraic system (point geometry built on nearly 20 basic propert...