Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity
文献类型：期刊论文
| 作者 | Zhang, Jingzhong1,2,3; Peng, Xicheng3; Chen, Mao3 |
| 刊名 | Journal of Systems Science and Complexity
 |
| 出版日期 | 2019 |
| 卷号 | 32期号:1页码:78-94 |
| ISSN号 | 10096124 |
| DOI | 10.1007/s11424-019-8350-6 |
| 英文摘要 | 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 properties/formulas about operations on points) while maintaining the advantages of the coordinate method, vector method, and particle geometry method and avoiding their disadvantages. Geometric relations in the propositions and conclusions of a geometric problem are expressed as identical equations of vector polynomials according to point geometry. Thereafter, a proof method that maintains the essence of Wu’s method is introduced to find the relationships between these equations. A test on more than 400 geometry statements shows that the proposed proof method, which is based on identical equations of vector polynomials, is simple and effective. Furthermore, when solving the original problem, this proof method can also help the authors recognize the relationship between the propositions of the problem and help the authors generate new geometric propositions. © 2019, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences and Springer-Verlag GmbH Germany, part of Springer Nature. |
| 电子版国际标准刊号 | 15597067 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.138/handle/2HOD01W0/9876]  |
| 专题 | 自动推理与认知研究中心 |
| 作者单位 | 1.Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing; 610041, China 2.Institute of Computational Science and Technology, Guangzhou University, Guangzhou; 510006, China; 3.National Engineering Research Center for E-Learning, Central China Normal University, Wuhan; 430079, China; |
| 推荐引用方式 GB/T 7714 | Zhang, Jingzhong,Peng, Xicheng,Chen, Mao. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity[J]. Journal of Systems Science and Complexity,2019,32(1):78-94. |
| APA | Zhang, Jingzhong,Peng, Xicheng,&Chen, Mao.(2019).Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity.Journal of Systems Science and Complexity,32(1),78-94. |
| MLA | Zhang, Jingzhong,et al."Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity".Journal of Systems Science and Complexity 32.1(2019):78-94. |
入库方式： OAI收割
来源：重庆绿色智能技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。