| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Arithmétique réelle exacte certifiée, co-induction et base arbitraire
Abstract : We describe in this paper certified algorithms for exact real arithmetic based on co-recursion. Our work is inspired of previous experiences using signed digits in radix 2 but generalize them with arbitrary positive integer radix use. The aim is to use fast operations of integer arithmetic of microprocessors.
Cited literature [10 references]
https://hal.inria.fr/inria-00116820
Contributor : Nicolas Julien <>
Submitted on : Tuesday, February 20, 2007 - 9:16:37 AM
Last modification on : Thursday, March 5, 2020 - 5:34:21 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 12:45:34 PM
Contributor : Nicolas Julien <>
Submitted on : Tuesday, February 20, 2007 - 9:16:37 AM
Last modification on : Thursday, March 5, 2020 - 5:34:21 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 12:45:34 PM
Files
exactreals.pdf
Files produced by the author(s)