| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Alexandre,I added links to your recent papers into the list of additional materials on modal arithmetic in the public section, where the other contributions by Arnold, Nate and Vladik already were located.
Juergen Am 05.06.2012 12:26, schrieb Alexandre Goldsztejn:
The original modal intervals theory presents gaps in its mathematical constructions as well in some critical proofs. You can find a reformulation based only on Kaucher intervals as well as new proofs and some new developments in the following manuscripts: http://hal.archives-ouvertes.fr/hal-00294219/en/ http://hal.archives-ouvertes.fr/hal-00294222/en/ An informal presentation of the new formulation is also proposed in http://www.goldsztejn.com/publications/QCP2005.Goldsztejn-Daney-Rueher-Taillibert.pdf Alexandre On Tue, Jun 5, 2012 at 11:35 AM, Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx> wrote: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
--o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer Informatik II
/ \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o Tel.: +49 931 / 31 86602
/ \ Uni E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg