Automated discovery of geometric theorems based on vector equations

DOI10.1007/s10817-021-09591-2OpenAlexW3157072245MaRDI QIDQ2666956

Mao Chen, Xicheng Peng, Qihang Chen, Jing-Zhong Zhang

Publication date: 23 November 2021

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

Full work available at URL: https://doi.org/10.1007/s10817-021-09591-2

zbMATH Keywords

elimination methodvector equationgeometric theorem provingautomated geometric theorem discovery

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

• Epsilon
• GeoGebra
• Geometry Expressions

Cites Work

• Automated theorem proving in GeoGebra: current achievements
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• Elimination methods
• Plane geometry theorem proving using forward chaining
• A deductive database approach to automated geometry theorem proving and discovering
• Vectorial equations solving for mechanical geometry theorem proving
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• Automatic discovery of theorems in elementary geometry
• A review and prospect of readable machine proofs for geometry theorems
• Machine Proofs in Geometry
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated discovery of geometric theorems based on vector equations