We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Ordered Semiautomatic Rings with Applications to Geometry

Abstract: 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 geometric objects such that certain operations and transformations are automatic. The underlying ring has always to be a countable dense subring of the real numbers and additions and comparisons and multiplications with constants need to be automatic. It is shown that the ring can be selected such that equilateral triangles can be represented and rotations by 30 degrees are possible, while the standard representation of the b-adic rationals does not allow this.
Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
Journal reference: Extended version of the article in the Proceedings of the International Conference on Language and Automata Theory and Applications 2020 Mar 4 (pp. 141-153). Springer, Cham
Cite as: arXiv:2103.06714 [cs.FL]
  (or arXiv:2103.06714v1 [cs.FL] for this version)

Submission history

From: Philipp Schlicht [view email]
[v1] Thu, 11 Mar 2021 14:59:35 GMT (31kb)

Link back to: arXiv, form interface, contact.