Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
From MaRDI portal
Publication:3102746
DOI10.1007/978-3-642-25070-5_13zbMath1350.68246OpenAlexW1418965194MaRDI QIDQ3102746
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
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
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