Automated reasoning in geometry theorem proving with Prolog

DOI10.1007/BF00248249MaRDI QIDQ1101254zbMATH OpenOpenAlexWikidataFDO

Authors 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

automated reasoninggeometry theorem-proverheuristicsknowledge representationlogic programming

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(18)

• Wu's method and its application to perspective viewing
• A refutational approach to geometry theorem proving
• Automatic generation of staged geometric predicates
• A deductive database approach to automated geometry theorem proving and discovering
• Geometric theorem proving by integrated logical and algebraic reasoning
• Automated deduction and knowledge management in geometry
• Taxonomies of geometric problems
• A review and prospect of readable machine proofs for geometry theorems
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• scientific article; zbMATH DE number 2155188 (Why is no real title available?)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-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
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Towards a geometry deductive database prover
• Geometry machines: from AI to SMC
• Using geometric rewrite rules for solving geometric problems symbolically

Describes a project that uses

Uses Software

• Geometry Tutor

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

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