2 papers
math.CO2026
Large subsets of the first squares
F. Bosio, R. Riblet, J. Tarr
We prove that, for every fixed integer , the largest cardinality of a subset of the first squares is at least a positive constant, depending only on , time…
cs.FL2021
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…