Pages that link to "Item:Q265603"
From MaRDI portal
The following pages link to A constructive real projective plane (Q265603):
Displaying 7 items.
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Constructive harmonic conjugates (Q1740712) (← links)
- `Outside' as a primitive notion in constructive projective geometry (Q1909592) (← links)
- H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg (Q2159722) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)
