Pages that link to "Item:Q1924745"

The following pages link to Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745):

Displaying 10 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 short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
• Automated production of traditional proofs in solid geometry (Q1891257) (← links)
• Taxonomies of geometric problems (Q2334578) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
• (Q5433133) (← links)
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492) (← links)
• Geometry machines: from AI to SMC (Q6560378) (← links)