Computability in Europe 2006
Logical Approaches to Computational Barriers


Regular Talk:
Online-division with Periodic Rational Numbers


Author(s): Gregorio de Miguel Casado, Juan Manuel Garcí­a-Chamizo and Higinio Mora Mora
Slot: Array, 11:50-12:10, col. 3

Abstract

This paper discusses different approaches for exact rational
arithmetic and proposes a novel representation for periodic rational numbers
with double mantissa (fixed and periodic) based on signed-digit
arithmetic. The representation is proposed under the scope of Type-2
Theory of Effectivity (TTE) and the extension of an online-arithmetic
algorithm for division is analyzed.

websites: Arnold Beckmann 2008-05-19