The following pages link to (Q3317659):
Displaying 5 items.
- Euclidean geometry in terms of automata theory (Q1124346) (← links)
- A result about the power of geometric oracle machines (Q1177163) (← links)
- Set theory -- from Cantor's heaven to the first theory among equals (Q1279498) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- On geometric automata which can nondeterministically choose auxiliary points (Q3484387) (← links)