Arithmétique réelle exacte certifiée, co-induction et base arbitraire - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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

Nicolas Julien
  • Function : Author
  • PersonId : 836843

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.
Fichier principal
Vignette du fichier
exactreals.pdf (192.2 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00116820 , version 1 (28-11-2006)
inria-00116820 , version 2 (20-02-2007)

Identifiers

  • HAL Id : inria-00116820 , version 2

Cite

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⟩

Collections

INRIA INRIA2
63 View
106 Download

Share

Gmail Facebook X LinkedIn More