Pages that link to "Item:Q1293015"
From MaRDI portal
The following pages link to Formalization of Hilbert's geometry of incidence and parallelism (Q1293015):
Displaying 4 items.
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)