Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)
From MaRDI portal
zbMATH Open0624.51011MaRDI QIDQ578586FDOQ578586
Publication date: 1986
Published in: Mathematische Semesterberichte (Search for Journal in Brave)
Euclidean geometries (general) and generalizations (51M05) Analytic and descriptive geometry (51N99) Absolute spaces in metric geometry (51F10)
Cited In (5)
- Title not available (Why is that?)
- A programmed algorithm for existence proofs for two-point boundary value problems
- The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines
- Computer-assisted existence proofs for two-point boundary value problems
- Title not available (Why is that?)
Recommendations
This page was built for publication: Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578586)