Re: back to the roots
On 2013-07-01 09:47:56 +0200, Ulrich Kulisch wrote:
> <Assume you somehow got an approximate solution of a linear system and you
> want to improve it by a defect <correction. Then you assume of course that
> the data of the approximate solution are infinitely precise. Even if <no
> digit of the "approximate" solution is correct you can with Rump's method
> compute a highly accurate <enclosure. Also here you assume that the
> "approximate" solution is infinitely precise.
You can assume that the approximate solution is infinitely precise
because you can do this for free: this is just an assumption. But
this doesn't mean that all the following computations need to be
exact.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)