Automatic Verification of Regular Constructions in Dynamic Geometry Systems

DOI10.1007/978-3-540-77356-6_3MaRDI QIDQ5453483zbMATH OpenOpenAlexFDO

Authors Predrag Janičić, Pedro Quaresma

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)

Recommendations

• Automatic verification of the adequacy of models for families of geometric objects
• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Checking geometric programs or verification of geometric structures
• scientific article; zbMATH DE number 4072432
• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Automatic constructibility checking of a corpus of geometric construction problems
• Automatted geometry theorem proving
• Computer theorem proving for verifiable solving of geometric construction problems

Cites work

• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
• GCLC -- a tool for constructive Euclidean geometry and more than that
• GEOTHER: A geometry theorem prover
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Theorem Proving in Higher Order Logics
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Cited in

(9)

• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Geometry constructions language
• Taxonomies of geometric problems
• Portfolio theorem proving and prover runtime prediction for geometry
• The area method. A recapitulation
• Automatic Construction and Verification of Isotopy Invariants
• Automated deduction and knowledge management in geometry
• An application of CLP: Checking the correctness of theorems in geometry
• Current status of the I2GATP common format

Describes a project that uses

Uses Software

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

This page was built for publication: Automatic Verification of Regular Constructions in Dynamic Geometry Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453483)