Publication:4189274
From MaRDI portal
zbMath0404.03054MaRDI QIDQ4189274
Publication date: 1978
Formally Real Field; Euclidean Geometry; Affine Geometry; Algorithmic Theory; Archimedian Ordered Fields; Constructive Geometries; Halting of Programs
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D80: Applications of computability and recursion theory
03F65: Other constructive mathematics
51M05: Euclidean geometries (general) and generalizations
68W99: Algorithms in computer science
Related Items
Constructibility and Geometry, The axiomatics of ordered geometry: I. Ordered incidence spaces, Generalized galois theory and its application to complexity, On the constructive geometry of Euclidean planes, Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI, Axiomatizing geometric constructions