Open geometry prover community project

DOI10.4204/EPTCS.352.14MaRDI QIDQ6653967zbMATH OpenFDO

Authors Nuno Baeta, Pedro Quaresma

Publication date 17 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.352.14

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A deductive database approach to automated geometry theorem proving and discovering
• A mechanical geometer
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
• Detecting truth, just on parts
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Giac and GeoGebra -- improved Gröbner basis computations
• Portfolio theorem proving and prover runtime prediction for geometry
• Proof technology in mathematics research and teaching
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Rewriting input expressions in complex algebraic geometry provers
• The area method. A recapitulation
• The relation tool in GeoGebra 5
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Theorem Proving in Higher Order Logics
• Thousands of geometric problems for geometric theorem provers (TGTP)

Cited in

(2)

• Towards a geometry deductive database prover
• Considerations on approaches and metrics in automated theorem generation/finding in geometry

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)