|
Computability in Europe 2008
Logic and Theory of Algorithms |
|||||||
Regular Talk:
|
| 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
|