On the redundancy of real number representation systems
Christophe Mazenc, Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme, Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme, Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme, Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme · OpenGrey (Institut de l'Information Scientifique et Technique) · 1993
In this paper, a set of definitions describing general real number representation systems is presented. Our purpose is to find a sufficiently wide model definition including classical systems (signed-digit notation,linear numeration systems, p-adic numbers, symmetric level index arithmetic...) but specific enough to make it possible to build some practical results. We focuse on the redundancy property and the relationships between redundancy, on-line and digit-parallel calculus.