Ordered Semiautomatic Rings with Applications to Geometry. - Ziyuan Gao; Sanjay Jain 001; Ji Qi; Philipp Schlicht; Frank Stephan 001; Jacob Tarr (LATA, 2020)