3 search results - page 1 / 1 » Certified Exact Real Arithmetic Using Co-induction in Arbitr... |
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...