Pages that link to "Item:Q1279729"
From MaRDI portal
The following pages link to A constructive theory of ordered affine geometry (Q1279729):
Displaying 12 items.
- A constructive real projective plane (Q265603) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Winkelmessung und Orientierung. (Measurement of angles and orientation) (Q750892) (← links)
- A proof of Pasch's axiom in the absolute theory of oriented parallelity (Q1207028) (← links)
- On the simplicity of ordered geometry (Q1956325) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- (Q3679820) (← links)
- The isomorphism of affine geometry in ordered fields (Q3983807) (← 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)