scientific article
From MaRDI portal
Publication:3317659
zbMath0534.51001MaRDI QIDQ3317659
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (5)
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
This page was built for publication:
