Geometry constructions language
From MaRDI portal
Publication:2655329
DOI10.1007/s10817-009-9135-8zbMath1185.68626OpenAlexW2032405865MaRDI QIDQ2655329
Publication date: 25 January 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9135-8
Related Items
Automated theorem proving in GeoGebra: current achievements ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Towards Understanding Triangle Construction Problems ⋮ Automated generation of illustrated proofs in geometry and beyond ⋮ Automated triangle constructions in hyperbolic geometry ⋮ The area method. A recapitulation ⋮ Representation and automated transformation of geometric statements ⋮ Formalization and specification of geometric knowledge objects ⋮ Proof Assistant Decision Procedures for Formalizing Origami ⋮ gcl ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Taxonomies of geometric problems ⋮ A Singular web service for geometric computations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- A graphical user interface for formal proofs in geometry
- Skolem Machines and Geometric Logic
- Automating Coherent Logic
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automated Deduction in Geometry
- 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
This page was built for publication: Geometry constructions language
