A deductive database approach to automated geometry theorem proving and discovering

Recommendations

Towards a geometry deductive database prover
scientific article; zbMATH DE number 1421051
Automated deduction and knowledge management in geometry
Automated reasoning in geometry theorem proving with Prolog
Automatted geometry theorem proving
A new approach for automatic theorem proving in real geometry
On protocols for the automated discovery of theorems in elementary geometry
scientific article; zbMATH DE number 4160161
On the application of Buchberger's algorithm to automated geometry theorem proving

Cited in

(33)

Eliminating redundant search space on backtracking for forward chaining theorem proving
Automated deduction and knowledge management in geometry
Automated detection of interesting properties in regular polygons
A mechanical geometer
Learning to solve geometric construction problems from images
Taxonomies of geometric problems
Automated generation of geometric theorems from images of diagrams
A review and prospect of readable machine proofs for geometry theorems
Automated discovery of geometric theorems based on vector equations
Towards the Automatic Discovery of Theorems in GeoGebra
Geometry knowledge base learning from theorem proofs
Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
Automated generation of readable proofs for constructive geometry statements with the mass point method
Retrieval of plane geometry resource database based on dynamic geometry
DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
The relation tool in GeoGebra 5
The area method. A recapitulation
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
Querying geometric figures using a controlled language, ontological graphs and dependency lattices
Automated Deduction in Geometry
Towards an Automated Geometer
Self-evident automated geometric theorem proving based on complex number identity
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
Towards a geometry deductive database prover
Automated generation of geometry proof problems based on point geometry identity
Online generation of proofs without words
Open geometry prover community project
Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
Considerations on approaches and metrics in automated theorem generation/finding in geometry

This page was built for publication: A deductive database approach to automated geometry theorem proving and discovering

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