The following pages link to (Q5462691):
Displaying 4 items.
- Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space) (Q578586) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- On Computable Metrization (Q4921450) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)