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.
Type de document :
Communication dans un congrès
Journées Francophones des Langages Applicatifs, Jan 2007, Aix-les-Bains, 2007
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00116820
Contributeur : Nicolas Julien <>
Soumis le : mardi 20 février 2007 - 09:16:37
Dernière modification le : jeudi 11 janvier 2018 - 16:20:57
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:45:34

Fichiers

exactreals.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, 2007. 〈inria-00116820v2〉

Partager

Métriques

Consultations de la notice

180

Téléchargements de fichiers

131