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