HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Arithmétique réelle exacte certifiée, co-induction et base arbitraire

Nicolas Julien 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00116820
Contributor : Nicolas Julien Connect in order to contact the contributor
Submitted on : Tuesday, February 20, 2007 - 9:16:37 AM
Last modification on : Thursday, January 20, 2022 - 5:30:44 PM
Long-term archiving on: : Tuesday, September 21, 2010 - 12:45:34 PM

Files

exactreals.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00116820, version 2

Collections

Citation

Nicolas Julien. Arithmétique réelle exacte certifiée, co-induction et base arbitraire. Journées Francophones des Langages Applicatifs, Jan 2007, Aix-les-Bains. ⟨inria-00116820v2⟩

Share

Metrics

Record views

57

Files downloads

92