GeoThms -- a web system for Euclidean constructive geometry

DOI10.1016/J.ENTCS.2006.09.020MaRDI QIDQ2867934zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 2009901
• Computer proofs in plane geometry
• Towards an Automated Geometer

Cites work

• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• GeoThms -- a web system for Euclidean constructive geometry
• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Theorem Proving in Higher Order Logics

Cited in

(20)

• Formalization and specification of geometric knowledge objects
• Automated generation of geometric theorems from images of diagrams
• A Singular web service for geometric computations
• A proposal for an on-line library of descriptive geometry problems
• The web geometry laboratory project
• Automated theorem proving in GeoGebra: current achievements
• GeoThms -- a web system for Euclidean constructive geometry
• Opengeo: an open geometric knowledge base
• A sustainable geometry automated reasoning platform
• An introduction to Java geometry expert. (Extended abstract)
• Thousands of geometric problems for geometric theorem provers (TGTP)
• I2Geo: a Web-library of interactive geometry
• The relation tool in GeoGebra 5
• scientific article; zbMATH DE number 2009901 (Why is no real title available?)
• Representation and automated transformation of geometric statements
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Cross-Curriculum Search for Intergeo
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Automated Deduction in Geometry

Describes a project that uses

Uses Software

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

This page was built for publication: GeoThms -- a web system for Euclidean constructive geometry

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