GeoThms — a Web System for Euclidean Constructive Geometry

DOI10.1016/j.entcs.2006.09.020zbMath1278.68279OpenAlexW2157101175WikidataQ57552312 ScholiaQ57552312MaRDI QIDQ2867934

Pedro Quaresma, Predrag Janičić

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.020

zbMATH Keywords

automated geometry theorem provingdynamic geometry softwareweb interfaces for proof systems

Mathematics Subject Classification ID

Related Items (8)

Automated theorem proving in GeoGebra: current achievements ⋮ The Relation Tool in GeoGebra 5 ⋮ Representation and automated transformation of geometric statements ⋮ Formalization and specification of geometric knowledge objects ⋮ A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ GeoThms — a Web System for Euclidean Constructive Geometry ⋮ Automated generation of geometric theorems from images of diagrams

Uses Software

• Cinderella
• Coq
• GCLC
• MMP/Geometer
• Theorema
• Xeukleides
• GEOTHER 1.1
• GeoGebra
• Eukleides
• GCLCprover
• GeoThms
• WinGCLC
• GEX
• GeoView

Cites Work

• Unnamed Item
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• GeoThms — a Web System for Euclidean Constructive Geometry
• Theorem Proving in Higher Order Logics
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation

This page was built for publication: GeoThms — a Web System for Euclidean Constructive Geometry