Pages that link to "Item:Q578586"
From MaRDI portal
The following pages link to Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space) (Q578586):
Displaying 5 items.
- Euclidean spaces (Q678204) (← links)
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines (Q1801633) (← links)
- Axiomatizing perpendicularity and parallelism (Q2912901) (← links)