Computability in Europe 2008
Logic and Theory of Algorithms
|Author(s):||Gregorio de Miguel Casado, Juan Manuel García-Chamizo and Higinio Mora Mora|
|Slot:||Wed, 11:50-12:10, Room 24 (col. 3)|
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|