Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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)