Pages that link to "Item:Q1909592"
From MaRDI portal
The following pages link to `Outside' as a primitive notion in constructive projective geometry (Q1909592):
Displaying 10 items.
- A constructive real projective plane (Q265603) (← links)
- A constructive theory of ordered affine geometry (Q1279729) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Constructive harmonic conjugates (Q1740712) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)
