Automated reasoning in geometry theorem proving with Prolog

DOI10.1007/BF00248249zbMath0642.68161OpenAlexW2125565018WikidataQ62039022 ScholiaQ62039022MaRDI QIDQ1101254

Helder Coelho, Luís Moniz Pereira

Publication date: 1986

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00248249

zbMATH Keywords

heuristicsautomated reasoningknowledge representationlogic programminggeometry theorem-prover

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items

Automated theorem proving in GeoGebra: current achievements ⋮ Wu's method and its application to perspective viewing ⋮ A refutational approach to geometry theorem proving ⋮ Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method ⋮ The area method. A recapitulation ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Using geometric rewrite rules for solving geometric problems symbolically ⋮ Automated deduction and knowledge management in geometry ⋮ Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation ⋮ Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles ⋮ Taxonomies of geometric problems ⋮ Geometric theorem proving by integrated logical and algebraic reasoning

Uses Software

• Geometry Tutor

Cites Work

• Plane geometry theorem proving using forward chaining
• An examination of the geometry theorem machine
• A note on syntactic symmetry and the manipulation of formal systems by machine

This page was built for publication: Automated reasoning in geometry theorem proving with Prolog