Self-evident automated geometric theorem proving based on complex number identity

DOI10.1007/s10817-023-09688-wOpenAlexW4388829070MaRDI QIDQ6149590

Jing-Zhong Zhang, Mao Chen, Xicheng Peng, Sannyuya Liu

Publication date: 6 February 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-023-09688-w

zbMATH Keywords

elimination methodgeometric theoremscomplex number geometrycomplex number identityself-evident automated proving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Proving geometry theorems with rewrite rules
• Elimination methods
• A deductive database approach to automated geometry theorem proving and discovering
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• Automated discovery of geometric theorems based on vector equations
• Machine Proofs in Geometry
• An identity method for proving geometry theorems based on Wu's method
• Computer Algebra and Geometric Algebra with Applications
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles