The following pages link to (Q3268310):
Displayed 9 items.
- A constructive theory of ordered affine geometry (Q1279729) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- (Q3719371) (← links)
- Organization and development of a constructive axiomatization (Q4647586) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- (Q5537594) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)