Geometry constructions language

DOI10.1007/s10817-009-9135-8zbMath1185.68626OpenAlexW2032405865MaRDI QIDQ2655329

Predrag Janičić

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

zbMATH Keywords

automated geometry theorem provinggeometric constructionsdynamic geometry software

Mathematics Subject Classification ID

Theory of programming languages (68N15) Elementary problems in Euclidean geometries (51M04)

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

• GCLC
• MMP/Geometer
• Theorema
• GEOTHER 1.1
• GeoGebra
• GeoProof
• GCLCprover
• GeoThms
• GEX
• webDiscovery
• GeoView
• JGEX
• LaTeX
• TeX

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