11 citations · 15 across the 8 of their papers we have counts for
3 papers · 1 filter
Ordered Semiautomatic Rings with Applications to Geometry
Ziyuan Gao, Sanjay Jain, Ji Qi +3
The present work looks at semiautomatic rings with automatic addition and comparisons which are dense subrings of the real numbers and asks how these can be used to represent geome…
The isomorphism problem for tree-automatic ordinals with addition
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht +1
This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such…
Automatic functions, linear time and learning
John Case, Sanjay Jain, Samuel Seah +1
The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton…