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: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)