Re: Up-to date Interval Arithmetic
On 2015-03-24 21:19:16 +0100, Ulrich Kulisch wrote:
> Dear colleagues:
> I attach an unpublished paper entitled:
> /Up-to-date Interval Arithmetic - From closed intervals to connected sets of
> real numbers//
> which on request recently was sent to the Reliable Computing Group. You may
> find it interesting.
About Unum: "It gets mathematical rigor that even conventional
interval arithmetic is not able to attain."
In what sense conventional interval arithmetic is not rigorous???
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)