scientific article; zbMATH DE number 3627176
From MaRDI portal
Publication:4189274
Affine GeometryAlgorithmic TheoryArchimedian Ordered FieldsConstructive GeometriesEuclidean GeometryFormally Real FieldHalting of Programs
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Applications of computability and recursion theory (03D80) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05) Algorithms in computer science (68W99)
Cited in
(7)- 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
- Constructibility and Geometry
- The axiomatics of ordered geometry: I. Ordered incidence spaces
- Herbrand analyses in geometry: a case study
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 Q4189274)
