Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

DOI10.1007/11812289_22MaRDI QIDQ5756763zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

Uses Software

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

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)