Publication:3317659
From MaRDI portal
zbMath0534.51001MaRDI QIDQ3317659
Publication date: 1984
mathematical programming; constructive geometry; application of mathematical logic; theory of geometric construction
51M10: Hyperbolic and elliptic geometries (general) and generalizations
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
51M05: Euclidean geometries (general) and generalizations
90C99: Mathematical programming
51-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry
51N05: Descriptive geometry
Related Items
Euclidean geometry in terms of automata theory, A result about the power of geometric oracle machines, Set theory -- from Cantor's heaven to the first theory among equals, Axiomatizing geometric constructions, On geometric automata which can nondeterministically choose auxiliary points