Towards a geometry deductive database prover

DOI10.1007/S10472-023-09839-0zbMATH Open1543.68396MaRDI QIDQ6535443

Pedro Quaresma, Nuno Baeta

Publication date: 8 January 2024

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

automated geometry theorem provingdeductive databasesautomated deduction in geometry

Mathematics Subject Classification ID

Database theory (68P15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08)

Cites Work

• Automated reasoning in geometry theorem proving with Prolog
• Plane geometry theorem proving using forward chaining
• 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
• Automated reasoning in geometry
• An Introduction to Java Geometry Expert
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
• Proof Technology in Mathematics Research and Teaching
• Open geometry prover community project

Related Items (1)

A deductive database approach to automated geometry theorem proving and discovering

This page was built for publication: Towards a geometry deductive database prover

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