Pages that link to "Item:Q1215410"
From MaRDI portal
The following pages link to Plane geometry theorem proving using forward chaining (Q1215410):
Displaying 17 items.
- The area method. A recapitulation (Q437042) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- 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 (Q616847) (← links)
- Conservation principles and action schemes in the synthesis of geometric concepts (Q1028905) (← links)
- Automated reasoning in geometry theorem proving with Prolog (Q1101254) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492) (← links)
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493) (← links)
- Towards a geometry deductive database prover (Q6535443) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
