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

Josep's attached email

P-1788,

I attach Josep's communication to which we alluded in my
previous communication.

Baker
--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------
--- Begin Message --- 
Dear All,
Proofs of the semantic theorems were published in the proceeding of the MISC'99, held in Girona, Spain in 1999. Recently, Miguel Sainz at al. are writting a compiling book on Modal Intervals. A draft of this book, containing all the theorems with proofs, was circulated by Vladik Kreinovich on January 26th. 

http://www.cs.utep.edu/interval-comp/sainzModalIntervals.pdf


Josep



Al 05/06/12 12:26, En/na Alexandre Goldsztejn ha escrit:

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





--
Prof. Josep Vehí
Catedràtic d'Universitat
Institut d'Informàtica i Aplicacions
Campus Montilivi. Edifici P4
Universitat de Girona
17071 Girona
Spain
iiia.udg.edu/micelab


begin:vcard
fn;quoted-printable:Josep Veh=C3=AD
n;quoted-printable:Veh=C3=AD;Josep
org;quoted-printable:Universitat de Girona;Centre de Recerca i Innovaci=C3=B3 en TIC
adr:;;Campus Montilivi. Edifici P4;Girona;;;Spain
title:Director
tel;work:+34 972 418 495
tel;cell:+34 620 131 826
url:iiia.udg.edu
version:2.1
end:vcard

--- End Message ---