Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method

DOI10.1007/978-3-642-25070-5_13zbMath1350.68246OpenAlexW1418965194MaRDI QIDQ3102746

Yu Zou, Jing-Zhong Zhang

Publication date: 25 November 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_13

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04) Affine analytic geometry (51N10)

Related Items

Automated theorem proving in GeoGebra: current achievements ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Self-evident automated proving based on point geometry from the perspective of Wu's method identity ⋮ A symbolic dynamic geometry system using the analytical geometry method

Uses Software

• Maple

Cites Work

• Using Gröbner bases to reason about geometry problems
• A deductive database approach to automated geometry theorem proving and discovering
• Notes on the History of Geometrical Ideas I. Homogeneous Coordinates
• Symbolic computation in the homogeneous geometric model with clifford algebra
• Machine Proofs in Geometry
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method