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 metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00116820
Contributor : Nicolas Julien <>
Submitted on : Tuesday, February 20, 2007 - 9:16:37 AM
Last modification on : Thursday, January 11, 2018 - 4:20:57 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

214

Files downloads

141