The following pages link to (Q3268310):
Displaying 13 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)
- (Q3679820) (← links)
- (Q3719371) (← links)
- An axiomatization of partial <i>n</i>-place operations (Q4344794) (← links)
- Organization and development of a constructive axiomatization (Q4647586) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q4649566) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- (Q5537594) (← links)
- THE AXIOM OF PLANE ON WARPED PRODUCT MODELS AND ITS APPLICATION (Q5716227) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)