The following pages link to (Q3267805):
Displaying 3 items.
- The simplest axiom system for hyperbolic geometry revisited, again (Q456972) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete (Q6664346) (← links)