Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

DOI10.1007/11812289_22zbMATH Open1188.68264OpenAlexW95821551MaRDI QIDQ5756763FDOQ5756763

Authors: Pedro Quaresma, Predrag Janičić 

Publication date: 5 September 2007

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

Full work available at URL: https://doi.org/10.1007/11812289_22

Recommendations

• GeoThms -- a web system for Euclidean constructive geometry
• Computer proofs in plane geometry
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• A graphical user interface for formal proofs in geometry
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry

Mathematics Subject Classification ID

Cited In (10)

• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Geometry constructions language
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• GCLCprover
• GeoThms
• Towards an Electronic Geometry Textbook
• The area method and proving plane geometry theorems
• GeoThms -- a web system for Euclidean constructive geometry
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices

Uses Software

• GCLC
• Xeukleides
• SATLIB
• TPTP
• Eukleides
• WinGCLC
• GeoView

This page was built for publication: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756763)