Pages that link to "Item:Q2542288"
From MaRDI portal
The following pages link to An examination of the geometry theorem machine (Q2542288):
Displaying 8 items.
- Automated reasoning in geometry theorem proving with Prolog (Q1101254) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Breadth-first search: some surprising results (Q2559927) (← 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)
- Geometry machines: from AI to SMC (Q6560378) (← links)