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||
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 136