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

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

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

• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• 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
• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Theorem Proving in Higher Order Logics

Cited in

(9)

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

Describes a project that uses

Uses Software

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

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)