Pages that link to "Item:Q5576155"

The following pages link to Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer (Q5576155):

Displaying 3 items.

• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
• Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← links)
• Geometry machines: from AI to SMC (Q6560378) (← links)