Arithmétique réelle exacte certifiée, co-induction et base arbitraire
Résumé
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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...