2016/05/25 by Avraham Bourla, Bourla, Avraham · 1 citation
Computer Science · #semigroups and automata theory #Logic, programming, and type systems #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.1605.07992
We provide algorithms for the absolute and alternating Ostrowski Expansions of the continuum and provide proofs for their uniqueness.