3 search results - page 1 / 1 » Certified Exact Real Arithmetic Using Co-induction in Arbitr... |
FLOPS
2008
Springer
14 years 13 days 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 11 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
14 years 10 days 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 ...