Pages that link to "Item:Q1293015"

The following pages link to Formalization of Hilbert's geometry of incidence and parallelism (Q1293015):

Displaying 3 items.

• Constructive geometrical reasoning and diagrams (Q375270) (← links)
• The area method. A recapitulation (Q437042) (← links)
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)