Plane geometry theorem proving using forward chaining
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3181472 (Why is no real title available?)
- scientific article; zbMATH DE number 3219315 (Why is no real title available?)
- scientific article; zbMATH DE number 3185223 (Why is no real title available?)
- A Human Oriented Logic for Automatic Theorem-Proving
- A man-machine theorem-proving system
- A relaxation approach to splitting in an automatic theorem prover
- Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Cited in
(17)- Automated generation of geometry proof problems based on point geometry identity
- A review and prospect of readable machine proofs for geometry theorems
- Geometry machines: from AI to SMC
- Automatic theorem proving in set theory
- The area method. A recapitulation
- 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
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- 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
- Automated reasoning in geometry theorem proving with Prolog
- Non-resolution theorem proving
- Conservation principles and action schemes in the synthesis of geometric concepts
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Automated discovery of geometric theorems based on vector equations
- Geometric theorem proving by integrated logical and algebraic reasoning
- Towards a geometry deductive database prover
- A relaxation approach to splitting in an automatic theorem prover
This page was built for publication: Plane geometry theorem proving using forward chaining
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1215410)
