Pages that link to "Item:Q1891257"
From MaRDI portal
The following pages link to Automated production of traditional proofs in solid geometry (Q1891257):
Displaying 5 items.
- The area method. A recapitulation (Q437042) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← 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)
- Geometry machines: from AI to SMC (Q6560378) (← links)