The following pages link to (Q3965190):
Displayed 4 items.
- A new proof of the representation theorem for Miquelian Möbius planes (Q1912804) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- (Q3305168) (← links)
- From Euclid to Riemann and Beyond: How to Describe the Shape of the Universe (Q5129770) (← links)