| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On 06/05/2012 11:26 AM, John Pryce wrote [Re: Motion M0034.01 -- Notations}:
On 4 Jun 2012, at 15:14, Nate Hayes wrote:The semantic theorems of modal interval analysis generalize the Fundamental Theorem of Interval Arithmetic ...Nate, is there ANYWHERE that proofs of these theorems are available? Can we put them on our web site? Or are they jealously guarded by the Gardenes group? I've asked before.
What is rigorously known about the semantics of modal interval arithmetic is summarized in my manuscript
Computer graphics, linear interpolation, and nonstandard intervals http://www.mat.univie.ac.at/~neum/ms/nonstandard.pdf Arnold Neumaier