Self-evident automated proving based on point geometry from the perspective of Wu's method identity

DOI10.1007/s11424-019-8350-6zbMath1468.68310OpenAlexW2912518036MaRDI QIDQ1730304

Mao Chen, Xicheng Peng, Jing-Zhong Zhang

Publication date: 6 March 2019

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-019-8350-6

zbMATH Keywords

Wu's methodgeometry algebrapoint geometryproof method based on identical equationsvector geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Clifford algebras, spinors (15A66) Elementary problems in Euclidean geometries (51M04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Automated discovery of geometric theorems based on vector equations ⋮ Self-evident automated geometric theorem proving based on complex number identity ⋮ Foreword to the special issue

Cites Work

• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Automated generation of geometric theorems from images of diagrams
• A review and prospect of readable machine proofs for geometry theorems
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
• Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
• Machine Proofs in Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Self-evident automated proving based on point geometry from the perspective of Wu's method identity