Automatic Verification of Regular Constructions in Dynamic Geometry Systems

DOI10.1007/978-3-540-77356-6_3zbMath1195.68092OpenAlexW1559406907MaRDI QIDQ5453483

Pedro Quaresma, Predrag Janičić

Publication date: 1 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-77356-6_3

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items

Current Status of the I2GATP Common Format, Portfolio theorem proving and prover runtime prediction for geometry, Geometry constructions language, The area method. A recapitulation, Automated deduction and knowledge management in geometry, Taxonomies of geometric problems

Uses Software

• Cinderella
• GCLC
• MMP/Geometer
• Xeukleides
• GEOTHER 1.1
• Eukleides
• GCLCprover
• GeoThms
• GeoView

Cites Work

• Unnamed Item
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• GEOTHER: A geometry theorem prover
• Theorem Proving in Higher Order Logics
• Automated Deduction in Geometry
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation