Pages that link to "Item:Q1891257"

The following pages link to Automated production of traditional proofs in solid geometry (Q1891257):

Displaying 3 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)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)