Pages that link to "Item:Q448975"

The following pages link to A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975):

Displaying 3 items.

• The area method. A recapitulation (Q437042) (← links)
• Towards an intelligent and dynamic geometry book (Q1701659) (← links)
• Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)