Automatic Verification of Regular Constructions in Dynamic Geometry Systems
DOI10.1007/978-3-540-77356-6_3zbMATH Open1195.68092OpenAlexW1559406907MaRDI QIDQ5453483FDOQ5453483
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
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
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Software, source code, etc. for problems pertaining to geometry (51-04)
Cites Work
- 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
- GEOTHER: A geometry theorem prover
- Theorem Proving in Higher Order Logics
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Title not available (Why is that?)
- Automated Deduction in Geometry
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
Uses Software
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)
