scientific article; zbMATH DE number 3150814
From MaRDI portal
Publication:3268310
Cited in
(13)- A constructive theory of ordered affine geometry
- The axioms of constructive geometry
- Implementing Euclid's straightedge and compass constructions in type theory
- scientific article; zbMATH DE number 3901538 (Why is no real title available?)
- scientific article; zbMATH DE number 3949144 (Why is no real title available?)
- An axiomatization of partial n-place operations
- Organization and development of a constructive axiomatization
- Undecidable First-Order Theories of Affine Geometries
- Constructibility and Geometry
- Constructive geometry and the parallel postulate
- scientific article; zbMATH DE number 3248787 (Why is no real title available?)
- THE AXIOM OF PLANE ON WARPED PRODUCT MODELS AND ITS APPLICATION
- Simplifying the axiomatization for ordered affine geometry via a theorem prover
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3268310)
