Arithmétique réelle exacte certifiée, co-induction et base arbitraire
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.
Origin : Files produced by the author(s)
Loading...