Pages that link to "Item:Q1888445"
From MaRDI portal
The following pages link to Non-Desarguian geometries and the foundations of geometry from David Hilbert to Ruth Moufang (Q1888445):
Displayed 6 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- Early explicit examples of non-Desarguesian plane geometries (Q434316) (← links)
- A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
- Variations on a theme of Glauberman (Q780051) (← links)
- ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY (Q2890699) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)