Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 3627176 - MaRDI portal

scientific article; zbMATH DE number 3627176

From MaRDI portal

Publication:4189274

Jump to:navigation, search

zbMath0404.03054MaRDI QIDQ4189274

Horst Seeland

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Formally Real Field Euclidean Geometry Affine Geometry Algorithmic Theory Archimedian Ordered Fields Constructive Geometries Halting of Programs

Mathematics Subject Classification ID

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)

Related Items (6)

Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI ⋮ Generalized galois theory and its application to complexity ⋮ On the constructive geometry of Euclidean planes ⋮ Axiomatizing geometric constructions ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Constructibility and Geometry

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4189274&oldid=18027175"