Pages that link to "Item:Q1279729"
From MaRDI portal
The following pages link to A constructive theory of ordered affine geometry (Q1279729):
Displayed 7 items.
- A constructive real projective plane (Q265603) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)