Positional Notation for Natural Numbers in an Arbitrary Base.

Charles Staats
Published in: Arch. Formal Proofs (2023)