Arithmetic Algorithms for Hereditarily Binary Natural Numbers

Paul Tarau

We study some essential arithmetic properties of a new tree-based number representation, {\em hereditarily binary numbers}, defined by applying recursively run-length encoding of b…