Open geometry prover community project
From MaRDI portal
Publication:6653967
DOI10.4204/EPTCS.352.14MaRDI QIDQ6653967
Publication date: 17 December 2024
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Automated theorem proving in GeoGebra: current achievements
- The area method. A recapitulation
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
- A deductive database approach to automated geometry theorem proving and discovering
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Automatic discovery of theorems in elementary geometry
- A mechanical geometer
- Detecting truth, just on parts
- Rewriting input expressions in complex algebraic geometry provers
- Portfolio theorem proving and prover runtime prediction for geometry
- Giac and GeoGebra – Improved Gröbner Basis Computations
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- The Relation Tool in GeoGebra 5
- Proof Technology in Mathematics Research and Teaching
- Theorem Proving in Higher Order Logics
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
Related Items (1)
This page was built for publication: Open geometry prover community project
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653967)
