From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 2 05:39:18 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h02BdI628298 for reliable_computing-outgoing; Thu, 2 Jan 2003 05:39:18 -0600 (CST) Received: from wminf0.math.uni-wuppertal.de (wminf0.math.uni-wuppertal.de [132.195.94.17]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h02BdB628294 for ; Thu, 2 Jan 2003 05:39:11 -0600 (CST) Received: from math.uni-wuppertal.de (wmwr3.math.uni-wuppertal.de [132.195.95.67]) by wminf0.math.uni-wuppertal.de (8.9.3+Sun/8.9.3) with ESMTP id MAA01522; Thu, 2 Jan 2003 12:38:55 +0100 (MET) Message-ID: <3E1424CE.7050107 [at] math [dot] uni-wuppertal.de> Date: Thu, 02 Jan 2003 12:38:54 +0100 From: Markus Grimmer Organization: Bergische =?ISO-8859-1?Q?Universit=E4t=2FGesamthochschule?= Wuppertal, FB Mathematik User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:0.9.4.1) Gecko/20020518 Netscape6/6.2.3 X-Accept-Language: en-us MIME-Version: 1.0 To: Vladik Kreinovich CC: reliable_computing [at] interval [dot] louisiana.edu, bill.walster [at] sun [dot] com Subject: Re: intervals in Maple References: <200212221932.gBMJWYi17963 [at] cs [dot] utep.edu> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hello and a happy new year to all of you, let me add that if you have problems with the Waterloo Maple Link, you can also find this Maple Interval Package on our research group's website: http://www.math.uni-wuppertal.de/wrswt/software/intpakX/ Regards, Markus Grimmer Vladik Kreinovich wrote: >I added the link to the Instreval Software part of the interval website. Thanks >a lot to Bill for noticing it. > >Caution: at present, I am unable to onnect to the site, I get an error message, >their server may be temporarily down or something. > >Vladik > -- *************************************************************************** Markus Grimmer Department of Mathematics - Scientific Computing / Software Engineering University of Wuppertal Gaussstr. 20, Room G.15.29, 42097 Wuppertal, Germany Phone +49-202-439-3136 markus.grimmer [at] math [dot] uni-wuppertal.de *************************************************************************** From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 2 08:57:46 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h02Evjn28767 for reliable_computing-outgoing; Thu, 2 Jan 2003 08:57:45 -0600 (CST) Received: from pheriche.sun.com (pheriche.sun.com [192.18.98.34]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h02Evd628763 for ; Thu, 2 Jan 2003 08:57:40 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.8.30]) by pheriche.sun.com (8.9.3+Sun/8.9.3) with ESMTP id HAA18592; Thu, 2 Jan 2003 07:57:32 -0700 (MST) Received: from sun.com (vpn-129-149-241-180.SFBay.Sun.COM [129.149.241.180]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id GAA28756; Thu, 2 Jan 2003 06:57:33 -0800 (PST) Message-ID: <3E1452AF.841A74D7 [at] sun [dot] com> Date: Thu, 02 Jan 2003 06:54:39 -0800 From: Bill Walster X-Mailer: Mozilla 4.76 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Markus Grimmer CC: Vladik Kreinovich , reliable_computing [at] interval [dot] louisiana.edu Subject: Re: intervals in Maple References: <200212221932.gBMJWYi17963 [at] cs [dot] utep.edu> <3E1424CE.7050107 [at] math [dot] uni-wuppertal.de> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks, Markus. I also just received the following from Luc Jaulin. Subject: Re: intervals in Maple Date: Thu, 2 Jan 2003 14:42:08 +0100 From: "luc jaulin" To: "Bill Walster" Dear Bill, Mupad (a (free) clone of Maple), also integrates interval computation in its kernel. You can download it at http://www.mupad.com/ (the light version 2.5 is sufficient). Install it and open the tutorial page 78 to get some information on how to perform interval computation with Mupad. Best wishes, Luc A rather nice way to start 2003! :) Lets hope it is an omen. Thanks, Luc. Cheers, Bill P.S. Both Maple and MuPad are integrated into Scientific Workplace from http://www.mackichan.com/ > I was surprised and pleased to find this web site: > > http://www.mapleapps.com/powertools/interval/Interval.shtml > > If any of you have experience with it, I would be most interested > to receive your impressions. Also, I believe *rigorous* interval > bounds are computed with this software. > > Best regards, > > Bill > Markus Grimmer wrote: > > Hello and a happy new year to all of you, > > let me add that if you have problems with the Waterloo Maple Link, you > can also find this Maple Interval Package on our research group's website: > > http://www.math.uni-wuppertal.de/wrswt/software/intpakX/ > > Regards, > > Markus Grimmer > > Vladik Kreinovich wrote: > > >I added the link to the Instreval Software part of the interval website. Thanks > >a lot to Bill for noticing it. > > > >Caution: at present, I am unable to onnect to the site, I get an error message, > >their server may be temporarily down or something. > > > >Vladik > > > > -- > *************************************************************************** > Markus Grimmer > > Department of Mathematics - Scientific Computing / Software Engineering > University of Wuppertal > Gaussstr. 20, Room G.15.29, 42097 Wuppertal, Germany > Phone +49-202-439-3136 > markus.grimmer [at] math [dot] uni-wuppertal.de > *************************************************************************** From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 2 11:04:40 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h02H4e529134 for reliable_computing-outgoing; Thu, 2 Jan 2003 11:04:40 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h02H4X629130 for ; Thu, 2 Jan 2003 11:04:34 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h02Guuf02539; Thu, 2 Jan 2003 09:56:56 -0700 (MST) Message-Id: <200301021656.h02Guuf02539 [at] cs [dot] utep.edu> Date: Thu, 2 Jan 2003 09:56:56 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: intervals in Maple To: markus.grimmer [at] math [dot] uni-wuppertal.de Cc: reliable_computing [at] interval [dot] louisiana.edu, bill.walster [at] sun [dot] com MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: aViCC0U/RnjjoY7lzaLooA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Markus, Thanks for the link. I have added it to the Interval Software part of the interval computations website http://www.cs.utep.edu > you > can also find this Maple Interval Package on our research group's website: > > http://www.math.uni-wuppertal.de/wrswt/software/intpakX/ > >Caution: at present, I am unable to onnect to the site, The Maple interval site works now, it was a temporary glitch. Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 2 11:05:59 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h02H5w029190 for reliable_computing-outgoing; Thu, 2 Jan 2003 11:05:58 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h02H5r629186 for ; Thu, 2 Jan 2003 11:05:53 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h02GwGL02550; Thu, 2 Jan 2003 09:58:16 -0700 (MST) Message-Id: <200301021658.h02GwGL02550 [at] cs [dot] utep.edu> Date: Thu, 2 Jan 2003 09:58:16 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: intervals in Maple To: markus.grimmer [at] math [dot] uni-wuppertal.de, bill.walster [at] sun [dot] com Cc: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: mA+9XMwZXyTOoHS27h9KuQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Bill and Luc, Thanks a lot, I added these links too. Vladik > Mupad (a (free) clone of Maple), also integrates interval > computation in its kernel. > P.S. Both Maple and MuPad are integrated into Scientific Workplace > from http://www.mackichan.com/ From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 7 18:59:26 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h080xQr14222 for reliable_computing-outgoing; Tue, 7 Jan 2003 18:59:26 -0600 (CST) Received: from nwkea-mail-2.sun.com (nwkea-mail-2.sun.com [192.18.42.14]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h080xK614218 for ; Tue, 7 Jan 2003 18:59:21 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.8.30]) by nwkea-mail-2.sun.com (8.9.3+Sun/8.9.3) with ESMTP id QAA10553 for ; Tue, 7 Jan 2003 16:58:49 -0800 (PST) Received: from sun.com (sml-mtv29-dhcp-33-189 [152.70.33.189]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id QAA07418; Tue, 7 Jan 2003 16:58:48 -0800 (PST) Message-ID: <3E1B7715.4E9381AC [at] sun [dot] com> Date: Tue, 07 Jan 2003 16:55:49 -0800 From: Bill Walster X-Mailer: Mozilla 4.76 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: reliable_computing [at] interval [dot] louisiana.edu Subject: Missing Point Disasters References: <200212302127.gBULRnq12747 [at] cs [dot] utep.edu> <3E1116E1.FFDA4C43 [at] sun [dot] com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Please try to remember who gave the talk at SCAN 2002 in which a number of interesting floating-point problems were documented. I swore I made a note of the author and paper, but I cannot find either. Thanks in advance for your help with this. Best regards, Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 04:03:30 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08A3UC15361 for reliable_computing-outgoing; Wed, 8 Jan 2003 04:03:30 -0600 (CST) Received: from stanhope.uia.ac.be (stanhope.uia.ac.be [143.169.32.57]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08A3O615357 for ; Wed, 8 Jan 2003 04:03:25 -0600 (CST) Received: from localhost (verdonk@localhost) by stanhope.uia.ac.be (8.11.6/8.11.6) with ESMTP id h08B4vr03029; Wed, 8 Jan 2003 11:04:57 GMT X-Authentication-Warning: stanhope.uia.ac.be: verdonk owned process doing -bs Date: Wed, 8 Jan 2003 11:04:55 +0000 (GMT) From: Brigitte Verdonk X-X-Sender: verdonk [at] stanhope [dot] uia.ac.be Reply-To: verdonk [at] uia [dot] ua.ac.be To: Bill Walster cc: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Missing Point Disasters In-Reply-To: <3E1B7715.4E9381AC [at] sun [dot] com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk On Tue, 7 Jan 2003, Bill Walster wrote: > > Please try to remember who gave the talk at SCAN 2002 in which > a number of interesting floating-point problems were documented. > I swore I made a note of the author and paper, but I cannot find > either. > Some floating-point problems were raised by Jean-Michel Muller in his talk at SCAN2002. Hope this helps. Best regards, Brigitte -----------------------------Brigitte Verdonk--------------------------------- Mathematics & Computer Science Tel +32 3 820.24.03 University of Antwerp (UIA) Fax +32 3 820.24.21 Universiteitsplein 1 URL: http://www.uia.ac.be/u/verdonk B2610 Antwerp (Belgium) Email: Brigitte.Verdonk [at] ua [dot] ac.be ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 07:18:02 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08DI2i16033 for reliable_computing-outgoing; Wed, 8 Jan 2003 07:18:02 -0600 (CST) Received: from octavie.dagstuhl.de (octavie.dagstuhl.de [192.76.146.1]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08DHp616029 for ; Wed, 8 Jan 2003 07:17:55 -0600 (CST) Received: from jura (dhcp22.dagstuhl.de [192.76.146.92]) by octavie.dagstuhl.de (8.9.2/8.9.2) with SMTP id OAA20890 for ; Wed, 8 Jan 2003 14:17:29 +0100 (CET) From: "Marc Daumas" To: Subject: RE: Missing Point Disasters Date: Wed, 8 Jan 2003 14:15:25 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0) Importance: Normal In-Reply-To: <3E1B7715.4E9381AC [at] sun [dot] com> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk > -----Message d'origine----- > Please try to remember who gave the talk at SCAN 2002 in which > a number of interesting floating-point problems were documented. > I swore I made a note of the author and paper, but I cannot find > either. I gave a plenary lecture with a few problems for motivations. They were mostly related to the US Space shuttle. A slightly different set of slides is available at the web site of the IEEE 754R working group: http://grouper.ieee.org/groups/754/meeting-minutes/02-07-18.html I hope this is what you had in mind. This is a good link anyway as you will also read some comments of Professor Kahan on some good ol' bugs. -- Marc Daumas - Charge de recherches au CNRS (LIP - ENS de Lyon) mailto:Marc.Daumas@ENS-Lyon.Fr - http://www.ens-lyon.fr/~daumas PGP Key FP : 69B6 11D1 DA61 717F DF76 5B92 E4EC B289 D607 F324 ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE Phone: (+33) 4 72 72 85 83 - Fax: (+33) 4 72 72 80 80 From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 09:50:58 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08FovR16405 for reliable_computing-outgoing; Wed, 8 Jan 2003 09:50:57 -0600 (CST) Received: from nwkea-mail-1.sun.com (nwkea-mail-1.sun.com [192.18.42.13]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08Fop616401 for ; Wed, 8 Jan 2003 09:50:52 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.24.37]) by nwkea-mail-1.sun.com (8.9.3+Sun/8.9.3) with ESMTP id HAA13864; Wed, 8 Jan 2003 07:50:45 -0800 (PST) Received: from sun.com (sml-mtv29-dhcp-33-189 [152.70.33.189]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id HAA01114; Wed, 8 Jan 2003 07:50:44 -0800 (PST) Message-ID: <3E1C481F.9FBA689 [at] sun [dot] com> Date: Wed, 08 Jan 2003 07:47:43 -0800 From: Bill Walster X-Mailer: Mozilla 4.76 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Marc Daumas CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Missing Point Disasters References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Thanks Marc. I believe your talk is the one I am looking for. Thanks a lot for your response. Best wishes for the new year. Cheers, Bill Marc Daumas wrote: > > > -----Message d'origine----- > > Please try to remember who gave the talk at SCAN 2002 in which > > a number of interesting floating-point problems were documented. > > I swore I made a note of the author and paper, but I cannot find > > either. > > I gave a plenary lecture with a few problems for motivations. They were > mostly related to the US Space shuttle. A slightly different set of slides > is available at the web site of the IEEE 754R working group: > > http://grouper.ieee.org/groups/754/meeting-minutes/02-07-18.html > > I hope this is what you had in mind. This is a good link anyway as you will > also read some comments of Professor Kahan on some good ol' bugs. > > -- > Marc Daumas - Charge de recherches au CNRS (LIP - ENS de Lyon) > mailto:Marc.Daumas@ENS-Lyon.Fr - http://www.ens-lyon.fr/~daumas > PGP Key FP : 69B6 11D1 DA61 717F DF76 5B92 E4EC B289 D607 F324 > ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE > Phone: (+33) 4 72 72 85 83 - Fax: (+33) 4 72 72 80 80 From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 10:16:58 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08GGwA16566 for reliable_computing-outgoing; Wed, 8 Jan 2003 10:16:58 -0600 (CST) Received: from oak.FernUni-Hagen.de (oak.fernuni-hagen.de [132.176.114.41]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08GGq616562 for ; Wed, 8 Jan 2003 10:16:53 -0600 (CST) Received: from amavis by oak.FernUni-Hagen.de with scanned-ok (Exim 4.04) id 18WIso-0003uK-00 for reliable_computing [at] interval [dot] louisiana.edu; Wed, 08 Jan 2003 17:16:46 +0100 Received: from bonsai.fernuni-hagen.de ([132.176.114.21]) by oak.FernUni-Hagen.de with esmtp (Exim 4.04) id 18WIsj-0003tV-00; Wed, 08 Jan 2003 17:16:41 +0100 Received: (from q5480035@localhost) by bonsai.fernuni-hagen.de (8.11.6+Sun/8.10.2) id h08GGfk01291; Wed, 8 Jan 2003 17:16:41 +0100 (MET) Date: Wed, 8 Jan 2003 17:16:41 +0100 (MET) Message-Id: <200301081616.h08GGfk01291 [at] bonsai [dot] fernuni-hagen.de> From: Marc Ernst Eddy van Woerkom To: Marc.Daumas@ENS-Lyon.Fr CC: reliable_computing [at] interval [dot] louisiana.edu In-reply-to: Subject: Re: Missing Point Disasters X-Virus-Scanned: by AMaViS perl-11 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk > I hope this is what you had in mind. This is a good link anyway as you will > also read some comments of Professor Kahan on some good ol' bugs. Thanks a lot for that interesting link. It was kind of scaring to read about people trusting their proofs too much. Regards, Marc From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 11:15:23 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08HFMs16795 for reliable_computing-outgoing; Wed, 8 Jan 2003 11:15:22 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08HFI616791 for ; Wed, 8 Jan 2003 11:15:18 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h08HF3G16365 for ; Wed, 8 Jan 2003 10:15:03 -0700 (MST) Message-Id: <200301081715.h08HF3G16365 [at] cs [dot] utep.edu> Date: Wed, 8 Jan 2003 10:15:01 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: interval-related position in El Paso To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: dpy6rBeu6zwQkcbDnyuYZg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, Thanks a lot for those who applied. On behalf of the dep;artment, I want to apologize for the inconvenience: We had some connection problems with the email address to which you are supposed to send the applications. It works now, but there has been some glitches in the past when attachments did not come. So, if you have sent an application in the past and did not receive the acknowledgment, please resend your application ASAP (copy to me so that I will know that the application has been sent; my email works fine, but for legal reasons, the application must be also sent to recruiting [at] cs [dot] utep.edu). If you are still planning to apply please do it ASAP. Thanks a lot! Vladik From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 8 14:27:34 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h08KRYF17228 for reliable_computing-outgoing; Wed, 8 Jan 2003 14:27:34 -0600 (CST) Received: from kathmandu.sun.com (kathmandu.sun.com [192.18.98.36]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h08KRS617224 for ; Wed, 8 Jan 2003 14:27:28 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.8.30]) by kathmandu.sun.com (8.9.3+Sun/8.9.3) with ESMTP id NAA08413; Wed, 8 Jan 2003 13:27:26 -0700 (MST) Received: from sun.com (sml-mtv29-dhcp-33-189 [152.70.33.189]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id MAA14658; Wed, 8 Jan 2003 12:27:25 -0800 (PST) Message-ID: <3E1C88F7.571C43C9 [at] sun [dot] com> Date: Wed, 08 Jan 2003 12:24:23 -0800 From: Bill Walster X-Mailer: Mozilla 4.76 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: verdonk [at] uia [dot] ua.ac.be CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: Missing Point Disasters References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Yes. Thanks, Brigette for answering. Best regards, Bill Brigitte Verdonk wrote: > > On Tue, 7 Jan 2003, Bill Walster wrote: > > > > > Please try to remember who gave the talk at SCAN 2002 in which > > a number of interesting floating-point problems were documented. > > I swore I made a note of the author and paper, but I cannot find > > either. > > > > Some floating-point problems were raised by Jean-Michel Muller in his > talk at SCAN2002. > > Hope this helps. Best regards, > > Brigitte > > -----------------------------Brigitte Verdonk--------------------------------- > Mathematics & Computer Science Tel +32 3 820.24.03 > University of Antwerp (UIA) Fax +32 3 820.24.21 > Universiteitsplein 1 URL: http://www.uia.ac.be/u/verdonk > B2610 Antwerp (Belgium) Email: Brigitte.Verdonk [at] ua [dot] ac.be > ------------------------------------------------------------------------------ From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 9 16:27:44 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h09MRie20272 for reliable_computing-outgoing; Thu, 9 Jan 2003 16:27:44 -0600 (CST) Received: from nwkea-mail-2.sun.com (nwkea-mail-2.sun.com [192.18.42.14]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h09MRc620267 for ; Thu, 9 Jan 2003 16:27:38 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.24.37]) by nwkea-mail-2.sun.com (8.9.3+Sun/8.9.3) with ESMTP id OAA07797 for ; Thu, 9 Jan 2003 14:27:32 -0800 (PST) Received: from sun.com (sml-mtv29-dhcp-33-189 [152.70.33.189]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id OAA15721; Thu, 9 Jan 2003 14:27:07 -0800 (PST) Message-ID: <3E1DF67D.A4A2CA18 [at] sun [dot] com> Date: Thu, 09 Jan 2003 14:23:57 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] louisiana.edu" Subject: Its "Demo Time" Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Hi everybody: If you have been watching comp.lang.fortran, you might want to check the discussion on [] syntax in Fortran. under subject line "Re: FYI: German's negative vote on F2000" and perhaps others. We at Sun are not permitted to participate in these discussions, but there is no reason you cannot. :) Regarding demos: I need some "real" examples of interval problems we can solve that could be used in a briefing. Here are two I know about that I can use: a) Mark Stadtherr's graphs in 2D that I can display using GrafEq. b) The physics problem from DTU where they needed to count all roots of a function f(x,y) over the unit box. There were over 34,000 of them. What I need is for the problem solution to be something I can graph in 2D or 3D using GrafEq or the Graphing Calculator. If code exists that we can use, that will be helpful. I will need a pointer to a paper or a brief writeup of the source of the problem so I can describe it to our customer. The goal is the show real examples where intervals have already been used to solve problems and do it in a way that people can see. Thanks in advance for any help you can provide. Best regards, Bill From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jan 11 12:45:44 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0BIjhP25529 for reliable_computing-outgoing; Sat, 11 Jan 2003 12:45:43 -0600 (CST) Received: from kathmandu.sun.com (kathmandu.sun.com [192.18.98.36]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0BIja625525 for ; Sat, 11 Jan 2003 12:45:37 -0600 (CST) Received: from heliopolis.eng.sun.com ([152.70.28.21]) by kathmandu.sun.com (8.9.3+Sun/8.9.3) with ESMTP id LAA04176; Sat, 11 Jan 2003 11:45:22 -0700 (MST) Received: from sun.com (vpn-129-149-240-229.SFBay.Sun.COM [129.149.240.229]) by heliopolis.eng.sun.com (8.9.3+Sun/8.9.3/ENSMAIL,v2.1p1) with ESMTP id KAA13682; Sat, 11 Jan 2003 10:45:18 -0800 (PST) Message-ID: <3E20657C.590446C0 [at] sun [dot] com> Date: Sat, 11 Jan 2003 10:42:04 -0800 From: Bill Walster X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Annie Cuyt CC: "reliable_computing [at] interval [dot] louisiana.edu" Subject: Re: Its "Demo Time" References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Those will be great, Annie. What will be best is if they are not just toy examples to illustrate the point, but if they come from real problems. In other words, executives need to have the "dots connected" for them. :) I would love to see them in any case. Cheers, Bill Annie Cuyt wrote: > Dear Bill, > > I only read your message diagonally because I am inbetween meetings. > We have a list of graphs that cannot be displayed reliably in either > Matlab, Maple, Mathematica, gnuplot and the like. We need GrafEq to get a > trustworthy picture. Is this what you are looking for? -- Kind regards, > ANnie. > > ------------------------------Prof. Dr. Annie CUYT----------------------------- > RESEARCH DIRECTOR FWO > Mathematics & Computer Science Tel (32)3/820.24.07 > University of Antwerp (UIA) Fax (32)3/820.24.21 > Universiteitsplein 1 Secr (32)3/820.24.01 > B-2610 Wilrijk-Antwerp Email cuyt [at] uia [dot] ua.ac.be > Belgium http://www.uia.ac.be/u/cuyt/ > -------------------------------------------------------------------------------- > > On Thu, 9 Jan 2003, Bill Walster wrote: > > > > > Hi everybody: > > > > If you have been watching comp.lang.fortran, you might want to check > > the discussion on [] syntax in Fortran. under subject line > > "Re: FYI: German's negative vote on F2000" and perhaps others. > > > > We at Sun are not permitted to participate in these discussions, but > > there > > is no reason you cannot. :) > > > > Regarding demos: I need some "real" examples of interval problems we > > can solve that could be used in a briefing. Here are two I know about > > that I can use: > > > > a) Mark Stadtherr's graphs in 2D that I can display using GrafEq. > > > > b) The physics problem from DTU where they needed to count all > > roots of a function f(x,y) over the unit box. There were over > > 34,000 of them. > > > > What I need is for the problem solution to be something I can graph in > > 2D or 3D using GrafEq or the Graphing Calculator. If code exists that > > we can use, that will be helpful. I will need a pointer to a paper or a > > > > brief writeup of the source of the problem so I can describe it to our > > customer. > > > > The goal is the show real examples where intervals have already been > > used to solve problems and do it in a way that people can see. > > > > Thanks in advance for any help you can provide. > > > > Best regards, > > > > Bill > > > > From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jan 13 12:27:36 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0DIRam01547 for reliable_computing-outgoing; Mon, 13 Jan 2003 12:27:36 -0600 (CST) Received: from math.gatech.edu (math.gatech.edu [130.207.146.50]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0DIRT601543 for ; Mon, 13 Jan 2003 12:27:30 -0600 (CST) Received: from mathpc35.math.gatech.edu (mathpc35.math.gatech.edu [199.77.200.43]) by math.gatech.edu (8.12.6/8.12.6) with ESMTP id h0DIRJBZ002878 for ; Mon, 13 Jan 2003 13:27:19 -0500 (EST) Received: from localhost (gameiro@localhost) by mathpc35.math.gatech.edu (8.11.6/8.11.6) with ESMTP id h0DIRJ604509 for ; Mon, 13 Jan 2003 13:27:19 -0500 X-Authentication-Warning: mathpc35.math.gatech.edu: gameiro owned process doing -bs Date: Mon, 13 Jan 2003 13:27:19 -0500 (EST) From: Marcio Fuzeto Gameiro To: reliable_computing [at] interval [dot] louisiana.edu Subject: bias/b4m In-Reply-To: <3E20657C.590446C0 [at] sun [dot] com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam-Level: (0) 7 required for Spam X-Scanned-By: MIMEDefang 2.28 (www . roaringpenguin . com / mimedefang) Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk I am having a problem with bias/b4m: I have compiled the bias packages with no errors, but here is the output of my test matlab session: ------------------------------------------------------------ >> A = interval(rand(10)); >> A A = Unable to load mex file: /usr/local-ai/matlab-6.1/toolbox/b4m/@interval/private/bias_inf.mexglx. /usr/local-ai/matlab-6.1/toolbox/b4m/@interval/private/bias_inf.mexglx: undefined symbol: __BiasCwRoundDown ??? Invalid MEX-file Error in ==> /usr/local-ai/matlab-6.1/toolbox/b4m/@interval/inf.m On line 22 ==> infimum = bias_inf(a.val); Error in ==> /usr/local-ai/matlab-6.1/toolbox/b4m/@interval/display.m On line 51 ==> infa = inf(a); ------------------------------------------------------------ Notice that the undefined symbol: __BiasCwRoundDown has two leading underscores. However, when I use nm on the binary bias_inf.mexglx I see the symbol defined with both one underscore and two. % nm bias_inf.mexglx | grep BiasCwRoundDown 00004468 d _BiasCwRoundDown U __BiasCwRoundDown I have been using gcc 2.96. Does anyone have any idea what the problem might be? Thank you, Marcio. From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jan 13 13:50:54 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0DJorJ01774 for reliable_computing-outgoing; Mon, 13 Jan 2003 13:50:53 -0600 (CST) Received: from ccsmta1.resource.rmcs.cranfield.ac.uk (ccsmta1.resource.rmcs.cranfield.ac.uk [193.63.243.9]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0DJol601770 for ; Mon, 13 Jan 2003 13:50:48 -0600 (CST) Message-ID: <55360F67A4EAD611B38F00B0D0D1AC6B242682 [at] UXSTAFF [dot] resource.rmcs.cranfield.ac.uk> From: Ashokaraj Mr IA To: "'reliable_computing [at] interval [dot] louisiana.edu'" Subject: INTLAB : Can we find determinent of an interval matrix? Date: Mon, 13 Jan 2003 19:49:53 -0000 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Sirs, I am using the INTLAB toolbox and just wondering is there any function in INTLAB by which we can find the determinent of an interval matrix? Hope to hear from you soon. Sincerely, Immanuel. From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 04:19:14 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EAJE503413 for reliable_computing-outgoing; Tue, 14 Jan 2003 04:19:14 -0600 (CST) Received: from zemke.mat.tu-harburg.de (zemke.mat.tu-harburg.de [134.28.61.33]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0EAJ6603409 for ; Tue, 14 Jan 2003 04:19:07 -0600 (CST) Received: from zemke.mat.tu-harburg.de (localhost [127.0.0.1]) by zemke.mat.tu-harburg.de (8.12.3/8.12.3/SuSE Linux 0.6) with ESMTP id h0EAH76f002420; Tue, 14 Jan 2003 11:17:07 +0100 Received: from localhost (zemke@localhost) by zemke.mat.tu-harburg.de (8.12.3/8.12.3/Submit) with ESMTP id h0EAH66s002417; Tue, 14 Jan 2003 11:17:06 +0100 X-Authentication-Warning: zemke.mat.tu-harburg.de: zemke owned process doing -bs Date: Tue, 14 Jan 2003 11:17:01 +0100 (CET) From: "Jens-Peter M. Zemke" X-X-Sender: zemke [at] zemke [dot] mat.tu-harburg.de Reply-To: zemke@tu-harburg.de To: Marcio Fuzeto Gameiro cc: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: bias/b4m In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavis-milter (http://amavis.org/) Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Mon, 13 Jan 2003, Marcio Fuzeto Gameiro wrote: > > I am having a problem with bias/b4m: > (snip) > > undefined symbol: __BiasCwRoundDown > ??? Invalid MEX-file > > (snip) > ------------------------------------------------------------ > Notice that the undefined symbol: __BiasCwRoundDown > has two leading underscores. However, when I use nm on the > binary bias_inf.mexglx I see the symbol defined with both one > underscore and two. > > % nm bias_inf.mexglx | grep BiasCwRoundDown > 00004468 d _BiasCwRoundDown > U __BiasCwRoundDown > > I have been using gcc 2.96. > The symbol __BiasCwRoundDown is undefined as indicated by capital U in front of __BiasCwRoundDown. The problem is that the internal representation of symbols used by gcc has changed. As far as I remember, the fix is to - edit the file BiasInt.h, - go to line 80, to your case, i.e. #if defined (__I386__) && (__GNUC__) - change volatile asm ("fldcw __BiasCwRoundDown into volatile asm ("fldcw _BiasCwRoundDown - do the same for lines 81+82 ... Please report to me whether the fix worked properly. If not, please include the details of your machine. Regards, Jens Zemke. - -- Jens-Peter M. Zemke -- zemke@tu-harburg.de AB Mathematik / Mathematics Department Technische Universitaet Hamburg -- Harburg -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: Weitere Infos: siehe http://www.gnupg.org iD8DBQE+I+OiXj4x5b5HEZcRAhyBAJ0fTEw3veyrDkP9OoS4r0DI6yIofgCg0BD+ 1v3ocju4BVP31LN1kbJYmYk= =mp2Y -----END PGP SIGNATURE----- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 08:52:23 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EEqMl04289 for reliable_computing-outgoing; Tue, 14 Jan 2003 08:52:22 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0EEqI604285 for ; Tue, 14 Jan 2003 08:52:18 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0EEqCx03237 for ; Tue, 14 Jan 2003 07:52:12 -0700 (MST) Message-Id: <200301141452.h0EEqCx03237 [at] cs [dot] utep.edu> Date: Tue, 14 Jan 2003 07:52:10 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: ISSAC Deadline Extended To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: P3KyCIi7Zxk7OB1F3qp1/A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk International Symposium on Symbolic and Algebraic Computation ISSAC'2003 ------------- Begin Forwarded Message ------------- Content-Transfer-Encoding: 7bit Mime-Version: 1.0 Approved-By: Emil Volcheck Date: Tue, 14 Jan 2003 01:05:43 -0500 From: Emil Volcheck Subject: ISSAC Deadline Extended To: SIGSAM-MEMBERS [at] ACM [dot] ORG EXTENSION OF SUBMISSION DEADLINE FOR ISSAC 2003 ====================================================================== The submission deadline for the ISSAC 2003 conference (Drexel University, 3-6 August 2003) has been extended to Sunday, 19 January 2003. Please, see http://www.drexel.edu/issac2003/ for instructions for submission. ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 13:40:20 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJeJu05040 for reliable_computing-outgoing; Tue, 14 Jan 2003 13:40:19 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJeGO05035 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 14 Jan 2003 13:40:16 -0600 (CST) Received: from relay.pair.com (relay.pair.com [209.68.1.20]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h0BKW5625780 for ; Sat, 11 Jan 2003 14:32:06 -0600 (CST) Received: (qmail 95393 invoked from network); 11 Jan 2003 20:32:02 -0000 Received: from cpe014340013788.cpe.net.cable.rogers.com (HELO ?192.168.1.2?) (65.48.24.120) by relay.pair.com with SMTP; 11 Jan 2003 20:32:02 -0000 X-pair-Authenticated: 65.48.24.120 Mime-Version: 1.0 X-Sender: tupper [at] www [dot] peda.com Message-Id: In-Reply-To: <3E20657C.590446C0 [at] sun [dot] com> References: <3E20657C.590446C0 [at] sun [dot] com> Date: Sat, 11 Jan 2003 15:31:51 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: Jeff Tupper / Pedagoguery Software Inc Subject: Re: Its "Demo Time" Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk > > > What I need is for the problem solution to be something I can graph in >> > 2D or 3D using GrafEq or the Graphing Calculator. If code exists that > > > we can use, that will be helpful. I will need a pointer to a paper or a Btw, Ron's "Graphing Calculator" program is technically not "reliable". Although it makes some use of intervals, it does not use them as a foundation for complete mathematical rigor. From my discussions with him, my understanding is that the "Graphing Calculator" uses intervals as a way for predicting floating-point evaluations. Based on these predictions, the program may switch to methods that are faster and less reliable than simple interval-based graphing. Of course, the "Graphing Calculator" is a great program. Jeff -- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 13:41:37 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJfbi05078 for reliable_computing-outgoing; Tue, 14 Jan 2003 13:41:37 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJfW905073 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 14 Jan 2003 13:41:32 -0600 (CST) Received: from portinf4.uia.ac.be (portinf4.uia.ac.be [143.169.1.25]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0AAQN621897 for ; Fri, 10 Jan 2003 04:26:23 -0600 (CST) Received: from localhost (cuyt@localhost) by portinf4.uia.ac.be (8.11.2/8.11.2) with ESMTP id h0A9PfS01442; Fri, 10 Jan 2003 10:25:41 +0100 X-Authentication-Warning: portinf4.uia.ac.be: cuyt owned process doing -bs Date: Fri, 10 Jan 2003 10:25:41 +0100 (CET) From: Annie Cuyt X-X-Sender: To: Bill Walster cc: "reliable_computing [at] interval [dot] louisiana.edu" Subject: Re: Its "Demo Time" In-Reply-To: <3E1DF67D.A4A2CA18 [at] sun [dot] com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Bill, I only read your message diagonally because I am inbetween meetings. We have a list of graphs that cannot be displayed reliably in either Matlab, Maple, Mathematica, gnuplot and the like. We need GrafEq to get a trustworthy picture. Is this what you are looking for? -- Kind regards, ANnie. ------------------------------Prof. Dr. Annie CUYT----------------------------- RESEARCH DIRECTOR FWO Mathematics & Computer Science Tel (32)3/820.24.07 University of Antwerp (UIA) Fax (32)3/820.24.21 Universiteitsplein 1 Secr (32)3/820.24.01 B-2610 Wilrijk-Antwerp Email cuyt [at] uia [dot] ua.ac.be Belgium http://www.uia.ac.be/u/cuyt/ -------------------------------------------------------------------------------- On Thu, 9 Jan 2003, Bill Walster wrote: > > Hi everybody: > > If you have been watching comp.lang.fortran, you might want to check > the discussion on [] syntax in Fortran. under subject line > "Re: FYI: German's negative vote on F2000" and perhaps others. > > We at Sun are not permitted to participate in these discussions, but > there > is no reason you cannot. :) > > Regarding demos: I need some "real" examples of interval problems we > can solve that could be used in a briefing. Here are two I know about > that I can use: > > a) Mark Stadtherr's graphs in 2D that I can display using GrafEq. > > b) The physics problem from DTU where they needed to count all > roots of a function f(x,y) over the unit box. There were over > 34,000 of them. > > What I need is for the problem solution to be something I can graph in > 2D or 3D using GrafEq or the Graphing Calculator. If code exists that > we can use, that will be helpful. I will need a pointer to a paper or a > > brief writeup of the source of the problem so I can describe it to our > customer. > > The goal is the show real examples where intervals have already been > used to solve problems and do it in a way that people can see. > > Thanks in advance for any help you can provide. > > Best regards, > > Bill > > From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 13:48:13 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJmDA05373 for reliable_computing-outgoing; Tue, 14 Jan 2003 13:48:13 -0600 (CST) Received: (from rbk5287@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EJmA805368 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 14 Jan 2003 13:48:10 -0600 (CST) Received: from sol.cc.u-szeged.hu (exim [at] sol [dot] cc.u-szeged.hu [160.114.8.24]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0EDPh604132 for ; Tue, 14 Jan 2003 07:25:43 -0600 (CST) Received: from csendes by sol.cc.u-szeged.hu with local (Exim 4.10) id 18YR4D-0004rm-00 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 14 Jan 2003 14:25:21 +0100 Subject: circles packing To: reliable_computing [at] interval [dot] louisiana.edu Date: Tue, 14 Jan 2003 14:25:21 +0100 (MET) X-Mailer: ELM [version 2.5 PL6] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: From: Csendes Tibor Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Colleagues, just for the record and for those who could not participate SCAN in Paris, let me draw your attention to Mihaly Csaba Markot's paper on the verified optimal packing of 28 circles in the unit square: http://www.inf.u-szeged.hu/~markot/publ.html In addition to problems solved in a verified way as e.g. the Kepler's conjecture on the densest packing of spheres, the double bubble conjecture, chaos in the Lorentz equations, now one more can be referred to as a success story for interval computation. The result is especially of high value, since the estimated computation time required by the earlier best (not verified) technique was around 47 years, while the new one needed less than 3 days on an average PC. The difficulty of the 56 dimensional constrained global optimization problem is indicated by the astronomical number of symmetric equivalent subcases, and by the continuum of global minimizer points. Yours, Tibor Csendes -- Dr. Tibor Csendes, associate professor Tel.: +36 62 544 305 University of Szeged, Dept. of Applied Informatics Fax: +36 62 420 292 H-6701 Szeged, P.O. Box 652, Hungary E-mail: csendes [at] inf [dot] u-szeged.hu WWW: http://www.inf.u-szeged.hu/~csendes/ mobile: +36 30 314 1626 "What a fine day for science!" (Dexter) From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 14 14:11:38 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0EKBc905565 for reliable_computing-outgoing; Tue, 14 Jan 2003 14:11:38 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0EKBW605560 for ; Tue, 14 Jan 2003 14:11:32 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0EKBR307222 for ; Tue, 14 Jan 2003 13:11:27 -0700 (MST) Message-Id: <200301142011.h0EKBR307222 [at] cs [dot] utep.edu> Date: Tue, 14 Jan 2003 13:11:27 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: ISSAC 2003, SATELLITE WORKSHOPS To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 6vyisOS4ghk+r55GVk6H6A== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk FYI: the orgqanizers would like to see a workshop on connection between intervals and symbolic computations if there is enough interest. ------------- Begin Forwarded Message ------------- From: issac2003 [at] drexel [dot] edu Date: Tue, 14 Jan 2003 14:36:18 -0500 (EST) X-Authentication-Warning: queen.mcs.drexel.edu: issac2003 set sender to issac2003 [at] drexel [dot] edu using -r To: vladik [at] cs [dot] utep.edu Subject: ISSAC 2003, SATELLITE WORKSHOPS ============================================================================ Call for ISSAC-2003 Satellite Workshop Proposals August 7, 2003 Drexel University Philadelphia, Pennsylvania, USA http://knave3.mcs.drexel.edu/~issac2003/index.html On August 7, right after the conference ISSAC-2003 (August 3 -- 6), several satellite workshops will be organized. We solicit proposals for the satellite workshops. The local organization of ISSAC 2003 kindly agreed to provide the following for each satellite workshop: * a room * an overhead projector * a data projector * audio equipments (podium, wireless clip-on microphone, speakers) * a technician's presence throughout the meeting * a coffee break * registration processing for some nominal fee (about $750 for 50 persons meeting). The details should be negotiated with the local organization. If you are interested in utilizing the facility, submit a workshop proposal following the guideline given below. About three proposals will be selected from the submissions by the general chair of ISSAC 2003 with the consultation with the steering committee. Finance ------- * The infrastructural cost (about $750 for 50 persons meeting) should be raised by the organizer. * The workshop should be free for all ISSAC'03 participants. * The workshop is part of ISSAC'2003. Participants should register with the ISSAC'2003 conference. Although we encourage everyone to attend the complete ISSAC + workshop, a reduced fee (US$65) may be available for those attending the workshop only. (This reduced fee could be used for paying toward $750 mentioned above). Important dates --------------- Deadline for submission of proposals : Feb 15, 2003 Notification of acceptance : Feb 20, 2003 Workshop : Aug 7, 2003 Submission Guideline -------------------- Submit it by email to hong [at] math [dot] ncsu.edu Hoon Hong General Chair of ISSAC 2003 Proposal Format --------------- Title of the workshop : Proposer: First Name : Middle Initial : Last Name : Email address : Affiliation : Telephone number : Expected # of attendee: Topics to be covered : Rationale for meeting : (about 10 lines) ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 15 10:36:24 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0FGaNY00465 for reliable_computing-outgoing; Wed, 15 Jan 2003 10:36:23 -0600 (CST) Received: from iph.bio.bas.bg (IDENT:0@bas-bio.lines.bas.bg [195.96.252.58]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0FGaFt00461 for ; Wed, 15 Jan 2003 10:36:16 -0600 (CST) Received: from biomath3 (biomath3.bio.bas.bg [10.0.0.158]) by iph.bio.bas.bg (8.11.6/8.11.6) with ESMTP id h0FGfET01386 for ; Wed, 15 Jan 2003 18:41:16 +0200 From: "Svetoslav Markov" Organization: Institute of Mathematics, BAS To: reliable_computing [at] interval [dot] louisiana.edu Date: Wed, 15 Jan 2003 18:37:33 +0100 Subject: June 4-8, 2003, Sozopol, deadline extended until 19.01.2003 Reply-to: smarkov [at] bio [dot] bas.bg Message-ID: <3E25AA6D.1024.FE878A@localhost> X-mailer: Pegasus Mail for Windows (v4.01) Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk The deadline for registration/submission of abstract for the special session on: SET-VALUED NUMERICS AND RELIABLE COMPUTING organized by: N. Dimitrova, M. Krastanov and V. Veliov has been extended until the 19th of January 2003. S. Markov ========================================================== SECOND ANNOUNCEMENT AND CALL FOR REGISTRATION 4th International Conference on "Large-Scale Scientific Computations" June 4-8, 2003, Sozopol, Bulgaria Special Event The conference will be devoted to the 60th anniversary of Raytcho Lazarov. Plenary and Invited Speakers OWE AXELSSON, KUN, Nijmegen, The Netherlands VLADIMIR GETOV, University of Westminster, United Kingdom MICHAEL GRIEBEL, University of Bonn, Germany RAYTCHO LAZAROV, Texas A&M University, USA ULRICH LANGER, University of Linz, Austria MICHAEL MASCAGNI, Florida State University, USA VADIM OLSHEVSKY, Georgia State University, Atlanta, USA ZAHARI ZLATEV, National Environmental Research Institute, Roskilde, Denmark Currently Announced Special Sessions and Organizers RECENT ACHIEVEMENTS IN PRECONDITIONING TECHNIQUES R. Blaheta, Institute of Geonics, Ostrava, CZ and M. Neytcheva, Uppsala University, SE MONTE CARLO AND QUASI-MONTE CARLO METHODS A. Karaivanova , FSU, Tallahassee, US/CLPP BAS, BG and H. Kosina, Institute for Microelectronics, TU, Vienna, AT HIGH PERFORMANCE METHODS FOR STRUCTURED MATRICES V. Olshevski, University of Connecticut, US SET-VALUED NUMERICS AND RELIABLE COMPUTING N. Dimitrova, IMI BAS, BG, M. Krastanov, IMI BAS, BG and V. Veliov, TU, Vienna, AT IMI BAS, BG ENVIRONMENTAL MODELLING A. Ebel, University of Cologne, DE, K. Georgiev, CLPP BAS, BG and Z. Zlatev, NERI, DK LARGE SCALE COMPUTATION FOR ENGINEERING PROBLEMS O. Iliev, ITWM, Kaiserslautern, DE, U. Langer, University of Linz, AT, P. Minev, University of Alberta, CA and M. Schaefer, DUT, Darmstadt, DE ADVANCED PROGRAMMING ENVIRONMENTS FOR SCIENTIFIC COMPUTATIONS V. Getov, University of Westminster, UK Important Deadlines Deadline for submission of extended abstracts January 15, 2003 Notification of acceptance of the talks January 31, 2003 Deadline for submission of full papers March 15, 2003 Notification of acceptance of full papers May 1, 2003 Registration To indicate your intention to attend ICLSSC'03, please visit our web site at WWW-site. http://parallel.bas.bg/~scicom03/ and register online. The conference web site contains a full information about the event and is regularly updated. Conference Secretary Mrs. Silvia Grozdanova, CLPP-BAS, Acad. G. Bontchev, Bl. 25A, 1113 Sofia, Bulgaria; FAX: (-359-2)-722-349; E-mail: scicom03 [at] parallel [dot] bas.bg From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 16 09:39:27 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0GFdQ609814 for reliable_computing-outgoing; Thu, 16 Jan 2003 09:39:26 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0GFdKt09810 for ; Thu, 16 Jan 2003 09:39:20 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0GFd5F24125 for ; Thu, 16 Jan 2003 08:39:05 -0700 (MST) Message-Id: <200301161539.h0GFd5F24125 [at] cs [dot] utep.edu> Date: Thu, 16 Jan 2003 08:39:04 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: ISSAC 2003, DEADLINE EXTENDED To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 3n2bTqE0AEfB2rxsA2ulcg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: issac2003 [at] drexel [dot] edu Date: Thu, 16 Jan 2003 10:26:02 -0500 (EST) EXTENSION OF SUBMISSION DEADLINE FOR ISSAC 2003 ====================================================================== The submission deadline for the ISSAC'2003 conference (Drexel, August 3-6, 2003) has been extended to Sunday, January 19, 2003. Please, see http://www.drexel.edu/issac2003/ for instructions for submission. CALL FOR PAPERS ====================================================================== ISSAC 2003 International Symposium on Symbolic and Algebraic Computation Drexel University, Philadelphia, PA, USA, August 3-6, 2003 http://www.drexel.edu/issac2003/ ====================================================================== ISSAC is the yearly premier international symposium in Symbolic and Algebraic Computation. It provides an opportunity to learn of new developments and to present original research results in all areas of symbolic mathematical computation. Planned activities include invited presentations, research and survey papers, poster sessions, tutorial courses, vendor exhibits and software demonstrations. ISSAC'2003 will be held at Drexel University in Philadelphia, Pennsylvania, USA, from August 3 to 6, 2003. Important Dates --------------- - Deadline for Submissions: January 19, 2003 - Notification of Acceptance: March 25, 2003 - Camera-ready copy received: April 14, 2003 ISSAC Organization ------------------ General Chair Hoon Hong (USA) Program Committee Manuel Bronstein (France) Chair John Abbott (Italy) Jose Cano (Spain) David Cox (USA) Alicia Dickenstein (Argentina) Richard Fateman (USA) Xiao-Shan Gao (China) Karin Gatermann (Germany) Mark Giesbrecht (Canada) Laureano Gonzalez-Vega (Spain) Jieh Hsiang (Taiwan) Evelyne Hubert (France) Tetsuo Ida (Japan) Tudor Jebelean (Austria) Steve Linton (Scotland) Scott McCallum (Australia) Marko Petkovsek (Slovenia) Poster Committee Olga Caprotti (Austria) Chair Willem De Graaf (Netherlands) Lihong Zhi (China) Tutorials Josef Schicho (Austria) Proceedings Rafael Sendra (Spain) Local Arrangement Werner Krandick (USA) Chair Bruce Char (USA) Jeremy Johnson (USA) Treasurer Chris Brown (USA) Fund Raising David Saunders (USA) Registration George Nakos (USA) Publicity Manfred Minimair (USA) Web William Turner (USA) Exhibits Agnes Szanto (USA) Conference Topics ----------------- Topics of the meeting include, but are not limited to : - Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group and geometric computing. - Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, theoretical and practical complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols. - Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education. Instructions to Authors ----------------------- Original research results and insightful analyses of current concerns are solicited for submission. Submissions must not substantially duplicate work published or submitted for publication elsewhere. Late submissions will be rejected. Survey articles may be suitable for submission if clearly identified as such. They will be considered in a separate category from the research papers. Papers will be reviewed by a program committee and additional referees. Proceedings will be distributed at the symposium. Papers must be in English and should not exceed 8 pages in the standard format for ACM proceedings, or 20 to 22 pages of text in LaTeX 12pt article style. Electronic submission is encouraged. To submit, send your paper in either PDF, DVI or PostScript format to issac2003-submit [at] sophia [dot] inria.fr indicating in the subject line the format and the compression command used, if any. If you cannot submit by e-mail, send one copy of your paper by regular mail to: Manuel Bronstein INRIA - Projet CAFE 2004 route des Lucioles - B.P. 93 06902 Sophia Antipolis Cedex, France. Each paper should have an abstract as well as an introductory section that: - Describes the problem. - Motivates the study of the problem. - States the main results and compares them to other work (including theoretical or empirical performance). - Summarizes the original aspects of the contribution. Formatting requirements will be based on the ACM Proceedings Templates. For instance in LaTeX2e you should use the acm_proc_article-sp.cls document class to format your document. For information concerning ACM Proceedings Templates see http://www.acm.org/sigs/pubs/proceed/template.html Authors of accepted papers are expected to present their work at the symposium, or make arrangements to have it presented, and will be required to sign the ACM copyright agreement (cf. http://www.acm.org/pubs/copyright_form.html). Some papers may be accepted for poster-session presentation; these will not appear in the proceedings. Abstracts of all posters will be distributed at the symposium. For poster submissions please consult the Call for Posters. Notification and final version ------------------------------ Authors will be sent notification of acceptance or rejection by e-mail on or before March 25, 2003. A final copy of each accepted paper will be required by April 14, 2003. Formatting requirements will be based on the ACM Proceedings Templates, for instance in LaTeX2e you should use the acm_proc_article-sp.cls document class to format your document. Best student author award ------------------------- This award will be given to the best student author. An author is eligible if full-time student at the time of submission, which should be indicated. Program Committee ----------------- John Abbott Xiao-Shan Gao Tetsuo Ida Manuel Bronstein (Chair) Karin Gatermann Tudor Jebelean Jose Cano Mark Giesbrecht Steve Linton David Cox Laureano Gonzalez-Vega Scott McCallum Alicia Dickenstein Jieh Hsiang Marko Petkovsek Richard Fateman Evelyne Hubert -------------------------------------------------------------------- Please, do not reply to this email and send all comments to the appropriate contact at http://www.drexel.edu/issac2003 ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 22 01:57:34 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0M7vXU16127 for reliable_computing-outgoing; Wed, 22 Jan 2003 01:57:33 -0600 (CST) Received: from web10301.mail.yahoo.com (web10301.mail.yahoo.com [216.136.130.79]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id h0M7vQt16123 for ; Wed, 22 Jan 2003 01:57:27 -0600 (CST) Message-ID: <20030122075719.31370.qmail [at] web10301 [dot] mail.yahoo.com> Received: from [202.54.67.195] by web10301.mail.yahoo.com via HTTP; Tue, 21 Jan 2003 23:57:19 PST Date: Tue, 21 Jan 2003 23:57:19 -0800 (PST) From: "Rama Rao M.V." Subject: Software for EBE technique To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Colleagues, Do you have a freeware/software/literature to implement Element by Element (EBE) based finite element analysis of structures. With regards M.V.Rama Rao ===== M.V.Rama Rao Senior Lecturer in Civil Engineering, Vasavi College of Engineering,Hyderabad-31 INDIA Phone : +91 (040)23513158 (R) +91(040)2359 0343 e-mail mallela [at] vce [dot] ac.in __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 22 09:35:29 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0MFZTP16774 for reliable_computing-outgoing; Wed, 22 Jan 2003 09:35:29 -0600 (CST) Received: from ccsmta1.resource.rmcs.cranfield.ac.uk (ccsmta1.resource.rmcs.cranfield.ac.uk [193.63.243.9]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0MFZLt16770 for ; Wed, 22 Jan 2003 09:35:23 -0600 (CST) Message-ID: <55360F67A4EAD611B38F00B0D0D1AC6B242687 [at] UXSTAFF [dot] resource.rmcs.cranfield.ac.uk> From: Ashokaraj Mr IA To: "'reliable_computing [at] interval [dot] louisiana.edu'" Subject: Date: Wed, 22 Jan 2003 15:34:55 -0000 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Sirs, My name is Immaunel and i am new to interval analysis! I was just wondering is there any references or publication regarding "QR" decomposition or any other decomposition (other than Cholesky) of Interval matrices! Hope to hear from you soon. Regards, Immanuel. From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 23 16:58:49 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0NMwmB18390 for reliable_computing-outgoing; Thu, 23 Jan 2003 16:58:48 -0600 (CST) Received: from crufty.research.bell-labs.com (ns2.research.bell-labs.com [204.178.16.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0NMwht18386 for ; Thu, 23 Jan 2003 16:58:43 -0600 (CST) Received: from scummy.research.bell-labs.com (H-135-104-2-10.research.bell-labs.com [135.104.2.10]) by crufty.research.bell-labs.com (8.12.5/8.12.5) with ESMTP id h0NMwaLI075741; Thu, 23 Jan 2003 17:58:36 -0500 (EST) Received: from nslocum.cs.bell-labs.com (nslocum.cs.bell-labs.com [135.104.8.38]) by scummy.research.bell-labs.com (8.11.6/8.11.6) with ESMTP id h0NMwTI49068; Thu, 23 Jan 2003 17:58:29 -0500 (EST) Received: from nslocum.cs.bell-labs.com (localhost [127.0.0.1]) by nslocum.cs.bell-labs.com (8.12.2/8.12.2) with ESMTP id h0NMwSjq93639100; Thu, 23 Jan 2003 17:58:28 -0500 (EST) Received: (from dmg@localhost) by nslocum.cs.bell-labs.com (8.12.2/8.12.2/Submit) id h0NMwSRw139343408; Thu, 23 Jan 2003 17:58:28 -0500 (EST) Date: Thu, 23 Jan 2003 17:58:28 -0500 (EST) From: "David M. Gay" Message-Id: <200301232258.h0NMwSRw139343408 [at] nslocum [dot] cs.bell-labs.com> To: I.A.Ashokaraj [at] rmcs [dot] cranfield.ac.uk (Ashokaraj Mr IA) Cc: reliable_computing [at] interval [dot] louisiana.edu Subject: http://www.mathprog.org/mps_membership.htm Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk > I was just > wondering is there any references or publication regarding "QR" > decomposition or any other decomposition (other than Cholesky) of Interval > matrices! An interval QR is used in %A D. M. Gay %T Interval Least Squares -- a Diagnostic Tool %B Reliability in Computing: the Role of Interval Methods in Scientific Computing %E Ramon E. Moore %I Academic Press %C San Diego %D 1988 %P 183-205 From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 23 17:01:19 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0NN1GB18453 for reliable_computing-outgoing; Thu, 23 Jan 2003 17:01:16 -0600 (CST) Received: from crufty.research.bell-labs.com (ns2.research.bell-labs.com [204.178.16.49]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0NN18t18445 for ; Thu, 23 Jan 2003 17:01:09 -0600 (CST) Received: from grubby.research.bell-labs.com (H-135-104-2-9.research.bell-labs.com [135.104.2.9]) by crufty.research.bell-labs.com (8.12.5/8.12.5) with ESMTP id h0NN17LI075767; Thu, 23 Jan 2003 18:01:07 -0500 (EST) Received: from nslocum.cs.bell-labs.com (nslocum.cs.bell-labs.com [135.104.8.38]) by grubby.research.bell-labs.com (8.11.6/8.11.6) with ESMTP id h0NN11Y46517; Thu, 23 Jan 2003 18:01:01 -0500 (EST) Received: from nslocum.cs.bell-labs.com (localhost [127.0.0.1]) by nslocum.cs.bell-labs.com (8.12.2/8.12.2) with ESMTP id h0NN10jq127150351; Thu, 23 Jan 2003 18:01:00 -0500 (EST) Received: (from dmg@localhost) by nslocum.cs.bell-labs.com (8.12.2/8.12.2/Submit) id h0NN10dP158891049; Thu, 23 Jan 2003 18:01:00 -0500 (EST) Date: Thu, 23 Jan 2003 18:01:00 -0500 (EST) From: "David M. Gay" Message-Id: <200301232301.h0NN10dP158891049 [at] nslocum [dot] cs.bell-labs.com> To: I.A.Ashokaraj [at] rmcs [dot] cranfield.ac.uk (Ashokaraj Mr IA) Cc: reliable_computing [at] interval [dot] louisiana.edu Subject: interval QR Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk [Retransmission with corrected subject line...] > I was just > wondering is there any references or publication regarding "QR" > decomposition or any other decomposition (other than Cholesky) of Interval > matrices! An interval QR is used in %A D. M. Gay %T Interval Least Squares -- a Diagnostic Tool %B Reliability in Computing: the Role of Interval Methods in Scientific Computing %E Ramon E. Moore %I Academic Press %C San Diego %D 1988 %P 183-205 From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jan 25 14:16:07 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0PKG6r20836 for reliable_computing-outgoing; Sat, 25 Jan 2003 14:16:06 -0600 (CST) Received: from mail.comset.net (mail.comset.net [213.172.0.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0PKFxt20832 for ; Sat, 25 Jan 2003 14:16:00 -0600 (CST) Received: from 9-078.dialup.comset.net ([213.172.9.78] helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 18cV6E-00017O-00 for reliable_computing [at] interval [dot] louisiana.edu; Sat, 25 Jan 2003 21:32:14 +0300 Message-ID: <008f01c2c49e$cbd7f580$710bfea9 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Reliable Computing, Issue 2, Vol.9, 2003 Date: Sat, 25 Jan 2003 21:02:21 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_005D_01C2C4B5.0D96B360" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_005D_01C2C4B5.0D96B360 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Reliable Computing Volume 9, issue 2, 2003 Special Issue Proceedings of the Validated Computing 2002 conference May 23-25, 2002, Toronto, Canada Guest Editor: R. Baker Kearfott Preface 89-90 Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables Daniel Berleant, Lizhi Xie, Jianzhong Zhang 91-108 Numerical Experiences with a New Generalized Subinterval Selection Criterion for Interval Global Optimization Tibor Csendes 109-125 Estimating and Validating the Cumulative Distribution=20 of a Function of Random Variables: Toward the Development=20 of Distribution Arithmetic Weldon A. Lodwick, K. David Jamison 127-141 Interval Methods for Accelerated Global Search in the Microsoft Excel Solver Ivo P. Nenov, Daniel H. Fylstra 143-159 Robust Approximation of Offsets, Bisectors, and Medial Axes of Plane Curves Joao Batista Oliveira, Luiz Henrique de Figueiredo 161-175 Evaluation of Functions, Gradients, and Jacobians Louis B. Rall 177-182 =20 Information SCAN'2002 183-184 ------=_NextPart_000_005D_01C2C4B5.0D96B360 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
          &nbs= p;  =20 Reliable=20 Computing
          =  =20 Volume 9, issue 2, 2003
 
Special Issue
Proceedings of = the Validated=20 Computing 2002 conference
May 23-25, 2002, Toronto, Canada
Guest = Editor:=20 R. Baker Kearfott
 
Preface
89-90
 
Statool: A Tool for Distribution=20 Envelope  Determination (DEnv), an
Interval-Based Algorithm = for =20 Arithmetic on Random Variables
Daniel Berleant, Lizhi Xie, Jianzhong=20 Zhang
91-108
 
Numerical Experiences with a New=20 Generalized  Subinterval Selection
Criterion for Interval = Global =20 Optimization
Tibor Csendes
109-125
 
Estimating and Validating the = Cumulative=20 Distribution
of a Function of Random Variables: Toward the = Development=20
of Distribution Arithmetic
Weldon A. Lodwick, K. David=20 Jamison
127-141
 
Interval Methods for Accelerated = Global=20 Search
in the Microsoft Excel Solver
Ivo P. Nenov, Daniel H.=20 Fylstra
143-159
 
Robust Approximation of Offsets, = Bisectors,=20 and  Medial Axes of Plane
Curves
Joao Batista Oliveira, Luiz = Henrique=20 de Figueiredo
161-175
 
Evaluation of Functions, = Gradients, and=20 Jacobians
Louis B.=20 Rall
177-182
 
       &n= bsp;         =20 Information
 
SCAN'2002
183-184
 
 
------=_NextPart_000_005D_01C2C4B5.0D96B360-- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jan 26 19:50:46 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0R1okm22339 for reliable_computing-outgoing; Sun, 26 Jan 2003 19:50:46 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0R1oTt22335 for ; Sun, 26 Jan 2003 19:50:40 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0R1nn118202 for ; Sun, 26 Jan 2003 18:49:52 -0700 (MST) Message-Id: <200301270149.h0R1nn118202 [at] cs [dot] utep.edu> Date: Sun, 26 Jan 2003 18:49:48 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: from NA Digest To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: asdxPHhj0H7N+gRqnXm0cQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk From: Martin Buecker Date: Fri, 17 Jan 2003 16:17:49 +0100 Subject: Workshop at ICCSA on Automatic Differentiation 2nd Workshop on Automatic Differentiation and Applications Montreal, Canada, May 18-21, 2003 The deadline is extended to match that of the overall ICCSA conference. New Dates: Draft Full Papers: February 1, 2003 Notification of Acceptance: February 13, 2003 Camera-Ready Papers: February 21, 2003 ICCSA Conference: May 18-21, 2003 For detailed information, visit the workshop website at http://www.autodiff.org/iccsa03/ Chris Bischof, Martin Buecker, Paul Hovland From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 28 09:24:24 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0SFOOs24953 for reliable_computing-outgoing; Tue, 28 Jan 2003 09:24:24 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0SFOFt24949 for ; Tue, 28 Jan 2003 09:24:20 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0SFNrw02714 for ; Tue, 28 Jan 2003 08:23:53 -0700 (MST) Message-Id: <200301281523.h0SFNrw02714 [at] cs [dot] utep.edu> Date: Tue, 28 Jan 2003 08:23:52 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Acsysteme Interval Toolbox for Matlab To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: LTMjqFHc99qoUIgCPH2kFQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- From: "Pascal ROUSTANT ADSL" To: Subject: Acsysteme Interval Toolbox for Matlab Date: Tue, 28 Jan 2003 11:09:00 +0100 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 ... We have just released an Interval Toolbox for Matlab. You can download a full trial version from our website : http://www.acsysteme.com Our toolbox provides high level routines in order to solve low dimensions problems in theses fields : - global and guaranteed optimization (with/without constraints) - solving of non linear set if equations/inequations via set inversion ... If you have any question, please contact me. Yours Sincerely, Pascal ROUSTANT Research and Development Engineer ------------------------------------------------------- email : pascal.roustant [at] acsysteme [dot] com Phone : 00 33 2 99 55 18 11 Fax : 00 33 2 99 55 19 53 ------------------------------------------------------- Acsysteme S.A. web : www.acsysteme.com Adress : 8 rue des Tisserands ZA La forge 35830 BETTON FRANCE ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 28 14:10:31 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0SKAUt25300 for reliable_computing-outgoing; Tue, 28 Jan 2003 14:10:30 -0600 (CST) Received: from mail.comset.net (mail.comset.net [213.172.0.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0SKAKt25296 for ; Tue, 28 Jan 2003 14:10:26 -0600 (CST) Received: from 8-042.dialup.comset.net ([213.172.8.42] helo=e0gumi46) by mail.comset.net with smtp (Exim 3.33 #1) id 18dc6p-0003IA-00 for reliable_computing [at] interval [dot] louisiana.edu; Tue, 28 Jan 2003 23:13:27 +0300 Message-ID: <003701c2c708$7a1a3980$710bfea9 [at] wplus [dot] net> From: "Vyacheslav Nesterov" To: "RC mailing list" Subject: Re: Reliable Computing, Issue 2, Vol.9, 2003 Date: Tue, 28 Jan 2003 23:03:42 +0300 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0034_01C2C721.80D3AF40" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0034_01C2C721.80D3AF40 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Sorry if you receive this message second time. As far as I know not all members of the mailing list have received it. Regards, Slava=20 Reliable Computing Volume 9, issue 2, 2003 Special Issue Proceedings of the Validated Computing 2002 conference May 23-25, 2002, Toronto, Canada Guest Editor: R. Baker Kearfott Preface 89-90 Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables Daniel Berleant, Lizhi Xie, Jianzhong Zhang 91-108 Numerical Experiences with a New Generalized Subinterval Selection Criterion for Interval Global Optimization Tibor Csendes 109-125 Estimating and Validating the Cumulative Distribution=20 of a Function of Random Variables: Toward the Development=20 of Distribution Arithmetic Weldon A. Lodwick, K. David Jamison 127-141 Interval Methods for Accelerated Global Search in the Microsoft Excel Solver Ivo P. Nenov, Daniel H. Fylstra 143-159 Robust Approximation of Offsets, Bisectors, and Medial Axes of Plane Curves Joao Batista Oliveira, Luiz Henrique de Figueiredo 161-175 Evaluation of Functions, Gradients, and Jacobians Louis B. Rall 177-182 =20 Information SCAN'2002 183-184 =20 ------=_NextPart_000_0034_01C2C721.80D3AF40 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Sorry if you receive this message second=20 time. As far as I know not all members of the = mailing list=20 have received it.   Regards, Slava 
            &nbs= p;  =20 Reliable=20 Computing
          =  =20 Volume 9, issue 2, 2003   Special Issue
Proceedings of the = Validated Computing=20 2002 conference
May 23-25, 2002, Toronto, Canada
Guest Editor: R. = Baker=20 Kearfott   Preface
89-90   Statool: A Tool for Distribution = Envelope =20 Determination (DEnv), an
Interval-Based Algorithm for  = Arithmetic on=20 Random Variables
Daniel Berleant, Lizhi Xie, Jianzhong=20 Zhang
91-108   Numerical Experiences with a New = Generalized =20 Subinterval Selection
Criterion for Interval Global =20 Optimization
Tibor Csendes
109-125   Estimating and Validating the Cumulative = Distribution=20
of a Function of Random Variables: Toward the Development
of=20 Distribution Arithmetic
Weldon A. Lodwick, K. David=20 Jamison
127-141   Interval Methods for Accelerated Global = Search
in the=20 Microsoft Excel Solver
Ivo P. Nenov, Daniel H.=20 Fylstra
143-159   Robust Approximation of Offsets, Bisectors, = and =20 Medial Axes of Plane
Curves
Joao Batista Oliveira, Luiz Henrique = de=20 Figueiredo
161-175   Evaluation of Functions, Gradients, and=20 Jacobians
Louis B.=20 Rall
177-182
 
       &n= bsp;         =20 Information   SCAN'2002
183-184     ------=_NextPart_000_0034_01C2C721.80D3AF40-- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jan 28 17:17:54 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0SNHrk25500 for reliable_computing-outgoing; Tue, 28 Jan 2003 17:17:53 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0SNHht25496 for ; Tue, 28 Jan 2003 17:17:48 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0SNHLH07878 for ; Tue, 28 Jan 2003 16:17:21 -0700 (MST) Message-Id: <200301282317.h0SNHLH07878 [at] cs [dot] utep.edu> Date: Tue, 28 Jan 2003 16:17:20 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: meeting in Dagstuhl: talks on-line To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: lYnxW345VD1C/IoQzIFtJg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Friends, Dagstuhl Seminar on Numerical Software with Result Verification was just held in Computer Science Conference Center in Dagstuhl, Germany, January 19-24, 2003. It was really a very productive meeting, and Dagstuhl is an excellent place to be and to work. In accordance with the decision of this meeting, the talks are being placed on-line; to get to the talks from the main page of the Interval Computations website http://www.cs.utep.edu/interval-comp, click on Previous Conferences, then on 2003, then on Dagstuhl talks. Vladik P.S. I want to use this opportunity to once again thank the organizers for their great work, thank all the presenters who have sent me their presentations, and to remind others to send me their ps and/or pdf files (or links to these files) ASAP. P.P.S. Please also send me links to interval software that is not linked to from the interval software part of the interval website P.P.S. Talks at SIAM 2002 meeting can be found in the same way: Previous Conference --> 2002 --> SIAM meeting, then click on program, you get schedule with links to talks From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 29 00:26:59 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0T6Qw225962 for reliable_computing-outgoing; Wed, 29 Jan 2003 00:26:58 -0600 (CST) Received: from iisc.ernet.in (iisc.ernet.in [144.16.64.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0T6Qgt25958 for ; Wed, 29 Jan 2003 00:26:48 -0600 (CST) Received: from mecheng.iisc.ernet.in (mecheng.iisc.ernet.in [144.16.70.130] (may be forged)) by iisc.ernet.in (8.9.2/8.9.0) with ESMTP id LAA95305; Wed, 29 Jan 2003 11:59:08 +0530 (IST) Received: from localhost (raman@localhost) by mecheng.iisc.ernet.in (8.11.6/8.11.0) with ESMTP id h0T6P4A12088; Wed, 29 Jan 2003 11:55:04 +0530 Date: Wed, 29 Jan 2003 11:55:04 +0530 (IST) From: "M. Ramanathan (PhD'97 BGM)" To: Vyacheslav Nesterov cc: RC mailing list Subject: Re: Reliable Computing, Issue 2, Vol.9, 2003 In-Reply-To: <003701c2c708$7a1a3980$710bfea9 [at] wplus [dot] net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear members, Can anyone of you send the .ps or .pdf version of the paper "Robust approximation of Offsets, Bisectors and Medial axis of Plane curves" of the issue "Reliable Computing, Issue 2, Vol.9, 2003". I will be very happy if someone can do that please. Thanks in Advance. Ramanathan M., Department of Mechanical Engg., Indian Institute of Science, India. From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 29 08:05:30 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0TE5TC26620 for reliable_computing-outgoing; Wed, 29 Jan 2003 08:05:29 -0600 (CST) Received: from ohsmtp02.ogw.rr.com (ohsmtp02.ogw.rr.com [65.24.7.37]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0TE5Kt26616 for ; Wed, 29 Jan 2003 08:05:25 -0600 (CST) Received: from oemcomputer (dhcp065-024-174-102.columbus.rr.com [65.24.174.102]) by ohsmtp02.ogw.rr.com (8.12.5/8.12.2) with SMTP id h0TE53Hk003062 for ; Wed, 29 Jan 2003 09:05:03 -0500 (EST) Message-ID: <006301c2c79f$2e080440$66ae1841 [at] columbus [dot] rr.com> From: "Ramon Moore" To: "interval" Subject: projective geometry Date: Wed, 29 Jan 2003 09:03:20 -0500 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0060_01C2C775.44F80080" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0060_01C2C775.44F80080 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Colleagues, Are there papers on interval arithmetic in projective geometry, for = interior and exterior intervals? Ramon Moore ------=_NextPart_000_0060_01C2C775.44F80080 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Colleagues,
 
Are there papers on interval arithmetic in = projective=20 geometry, for interior and exterior intervals?
 
Ramon Moore
------=_NextPart_000_0060_01C2C775.44F80080-- From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 29 09:20:38 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0TFKaF26820 for reliable_computing-outgoing; Wed, 29 Jan 2003 09:20:36 -0600 (CST) Received: from Fourier.visgraf.impa.br (external.visgraf.impa.br [147.65.1.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0TFKVt26816 for ; Wed, 29 Jan 2003 09:20:32 -0600 (CST) Received: from inf.pucrs.br (IDENT:jbo@Venn [147.65.6.45]) by Fourier.visgraf.impa.br (8.11.6/8.11.6) with ESMTP id h0TFJRP29069; Wed, 29 Jan 2003 13:19:30 -0200 (EDT) Message-ID: <3E37F0F6.AA188EBD [at] inf [dot] pucrs.br> Date: Wed, 29 Jan 2003 15:19:18 +0000 From: Joao Batista Oliveira X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.0.36 i686) X-Accept-Language: en MIME-Version: 1.0 To: "M. Ramanathan (PhD'97 BGM)" CC: Vyacheslav Nesterov , RC mailing list Subject: Re: Reliable Computing, Issue 2, Vol.9, 2003 References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk A PS version of this paper can be found at ftp://ftp.tecgraf.puc-rio.br/pub/lhf/doc/offsets.ps.gz Enjoy! j.b. oliveira "M. Ramanathan (PhD'97 BGM)" wrote: > > Dear members, > > Can anyone of you send the .ps or .pdf version of the paper "Robust > approximation of Offsets, Bisectors and Medial axis of Plane curves" > of the issue "Reliable Computing, Issue 2, Vol.9, 2003". I will be very > happy if someone can do that please. > > Thanks in Advance. > > Ramanathan M., > Department of Mechanical Engg., > Indian Institute of Science, > India. From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jan 29 09:29:28 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0TFTRF26966 for reliable_computing-outgoing; Wed, 29 Jan 2003 09:29:27 -0600 (CST) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0TFTMt26962 for ; Wed, 29 Jan 2003 09:29:23 -0600 (CST) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id h0TFTG613300; Wed, 29 Jan 2003 08:29:16 -0700 (MST) Message-Id: <200301291529.h0TFTG613300 [at] cs [dot] utep.edu> Date: Wed, 29 Jan 2003 08:29:15 -0700 (MST) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Re: projective geometry To: reliable_computing [at] interval [dot] louisiana.edu, rmoore17 [at] columbus [dot] rr.com MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 8W//GdPahgKTXFfuWE9baw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Dr. Moore, I participated in a similar project: intervals on a circle. We reported it on SCAN'02, the full papar submitted to SCAN proceedings is available at http://www.cs.utep.edu/vladik/2003/tr03-04.ps.gz or http://www.cs.utep.edu/vladik/2003/tr03-04.pdf Our main emphasis was not on intervals on the circle per se but on the practial problem in which such interval appeared. The abstract is attached below. Vladik > From: "Ramon Moore" > To: "interval" > Subject: projective geometry > Date: Wed, 29 Jan 2003 09:03:20 -0500 > MIME-Version: 1.0 > X-Priority: 3 > X-MSMail-Priority: Normal > X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 > > Colleagues, > > Are there papers on interval arithmetic in projective geometry, for interior and exterior intervals? > > Ramon Moore INTERVAL APPROACH TO PHASE MEASUREMENTS CAN LEAD TO ARBITRARILY COMPLEX SETS - A THEOREM AND WAYS AROUND IT Bharat C. Mulupuru, Vladik Kreinovich, and Roberto Osegueda We are often interested in phases of complex quantities; e.g., in non-destructive testing of aerospace structures, important information comes from phases of Eddy current and magnetic resonance. For each measurement, we have an upper bound D on the measurement error dx=X-x, so when the measurement result is X, we know that the actual value x is in [X-D,X+D]. Often, we have no information about probabilities of different values, so this interval is our only information about x. When the accuracy is not sufficient, we perform several repeated measurements, and conclude that x belongs to the intersection of the corresponding intervals. For real-valued measurements, the intersection of intervals is always an interval. For phase measurements, we prove that an arbitrary closed subset of a circle can be represented as an intersection of intervals. Handling such complex sets is difficult. It turns out that if we have some statistical information, then the problem often becomes tractable. As a case study, we describe an algorithm that uses both real-valued and phase measurement results to determine the shape of a fault. This is important: e.g., smooth-shaped faults gather less stress and are, thus, less dangerous than irregularly shaped ones. From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jan 30 21:33:20 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0V3XK928822 for reliable_computing-outgoing; Thu, 30 Jan 2003 21:33:20 -0600 (CST) Received: from mail3.wi.rr.com (fe3.rdc-kc.rr.com [24.94.163.50]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0V3XFt28818 for ; Thu, 30 Jan 2003 21:33:15 -0600 (CST) Received: from taylor ([24.167.228.187]) by mail3.wi.rr.com with Microsoft SMTPSVC(5.5.1877.757.75); Thu, 30 Jan 2003 21:30:17 -0600 Reply-To: From: "Dr. George F. Corliss" To: Subject: FW: [MUG] Guaranteed multiple-precision results Date: Thu, 30 Jan 2003 21:33:09 -0600 Message-ID: <000101c2c8d9$79de5eb0$6501a8c0@taylor> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Importance: Normal Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id h0V3XGt28819 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Intervalers, The message below appeared on the Maple Users' group list. Anyone here want to take a stab at it? I think his statements about intpakX are not correct, but that should come from the intpakX team. Dr. George F. Corliss Electrical and Computer Engineering Haggerty Engineering 296 Marquette University P.O. Box 1881 Milwaukee, WI 53201-1881 USA George.Corliss [at] Marquette [dot] edu Office: 414-288-6599; Dept: 288-6820; Fax: 288-5579 -----Original Message----- From: owner-maple-list [at] scg [dot] math.uwaterloo.ca [mailto:owner-maple-list [at] scg [dot] math.uwaterloo.ca] On Behalf Of Vincent Lefevre Sent: Tuesday, January 14, 2003 8:32 AM To: maple-list [at] scg [dot] math.uwaterloo.ca Subject: [MUG] Guaranteed multiple-precision results >> From: Vincent Lefevre I'm searching for a way to obtain guaranteed multiple-precision results with Maple. A solution is true interval arithmetic. I used to use the intpak package, but * it has been said that the authors made wrong assumptions on the accuracy of Maple functions (I could then use intpakX though, but is it really reliable or does it also make assumptions based on unknown facts?); * intpak seems to be written for Maple 5, and Maple 5 doesn't run on the most recent Linux machines. The intpakX package would be affected by the same problem, as it is an intpak extension and needs the intpak package. Is there a working interval arithmetic package (and reliable enough) for Maple 8? Is the accuracy of Maple functions known? Note that when I say "known", I want something that could be regarded as guaranteed, based on proofs. Having guaranteed results for particular cases such as sin(x) where x is close to a multiple of pi is important. Thanks in advance, Vincent Lefhvre. From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan 31 09:14:40 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0VFEeA29605 for reliable_computing-outgoing; Fri, 31 Jan 2003 09:14:40 -0600 (CST) Received: from wminf0.math.uni-wuppertal.de (wminf0.math.uni-wuppertal.de [132.195.94.17]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0VFEXt29601 for ; Fri, 31 Jan 2003 09:14:34 -0600 (CST) Received: from math.uni-wuppertal.de (wmwr3.math.uni-wuppertal.de [132.195.95.67]) by wminf0.math.uni-wuppertal.de (8.9.3+Sun/8.9.3) with ESMTP id QAA18312 for ; Fri, 31 Jan 2003 16:14:26 +0100 (MET) Message-ID: <3E3A92D2.2050207 [at] math [dot] uni-wuppertal.de> Date: Fri, 31 Jan 2003 16:14:26 +0100 From: Markus Grimmer Organization: Bergische =?ISO-8859-1?Q?Universit=E4t=2FGesamthochschule?= Wuppertal, FB Mathematik User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:0.9.4.1) Gecko/20020518 Netscape6/6.2.3 X-Accept-Language: en-us MIME-Version: 1.0 CC: reliable_computing [at] interval [dot] louisiana.edu Subject: Re: FW: [MUG] Guaranteed multiple-precision results References: <000101c2c8d9$79de5eb0$6501a8c0@taylor> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk >Is there a working interval arithmetic package (and reliable enough) >for Maple 8? > A new version of intpakX has been released in December and is available from http://www.math.uni-wuppertal.de/wrswt/software/intpakX/ or http://www.mapleapps.com/powertools/interval/Interval.shtml It integrates intpak and intpakX, so this intpakX doesn't depend on the Maple5 intpak and works with Maple 6, 7, and 8. The package does indeed depend on the standard Maple functions (they are used to evaluate i.e. the sin of the interval bounds) and doesn't implement these anew. The rounding is done in intpakX, but it cannot correct errors greater than 1 ulp that Maple produces. >Is the accuracy of Maple functions known? Note that when I say >"known", I want something that could be regarded as guaranteed, >based on proofs. > I do not have a proof for Maple accuracy, so I would be quite interested if anyone knew about any such proof. Regards, Markus Grimmer -- *************************************************************************** Markus Grimmer Department of Mathematics - Scientific Computing / Software Engineering University of Wuppertal Gaussstr. 20, Room G.15.29, 42097 Wuppertal, Germany Phone +49-202-439-3136 markus.grimmer [at] math [dot] uni-wuppertal.de *************************************************************************** From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jan 31 09:22:14 2003 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id h0VFMEK29696 for reliable_computing-outgoing; Fri, 31 Jan 2003 09:22:14 -0600 (CST) Received: from ohsmtp01.ogw.rr.com (ohsmtp01.ogw.rr.com [65.24.7.36]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id h0VFLst29692 for ; Fri, 31 Jan 2003 09:21:54 -0600 (CST) Received: from oemcomputer (dhcp065-024-174-102.columbus.rr.com [65.24.174.102]) by ohsmtp01.ogw.rr.com (8.12.5/8.12.2) with SMTP id h0VFLpXc006525; Fri, 31 Jan 2003 10:21:52 -0500 (EST) Message-ID: <002101c2c93c$30d23b20$66ae1841 [at] columbus [dot] rr.com> From: "Ramon Moore" To: "Markus Grimmer" Cc: References: <000101c2c8d9$79de5eb0$6501a8c0@taylor> <3E3A92D2.2050207 [at] math [dot] uni-wuppertal.de> Subject: Re: FW: [MUG] Guaranteed multiple-precision results Date: Fri, 31 Jan 2003 10:19:46 -0500 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk The "range" package of Oliver Aberth that comes on a CD with his book "Precise Numerical Methods Using C++", published by Academic Press, 1998, provides user-specified number of correct decimal places in results for a wide variety of problem types. It is easy to use. Ramon Moore ----- Original Message ----- From: "Markus Grimmer" Cc: Sent: Friday, January 31, 2003 10:14 AM Subject: Re: FW: [MUG] Guaranteed multiple-precision results > > >Is there a working interval arithmetic package (and reliable enough) > >for Maple 8? > > > A new version of intpakX has been released in December and is available > from > > http://www.math.uni-wuppertal.de/wrswt/software/intpakX/ > or > http://www.mapleapps.com/powertools/interval/Interval.shtml > > It integrates intpak and intpakX, so this intpakX doesn't depend on the > Maple5 intpak and works with Maple 6, 7, and 8. > The package does indeed depend on the standard Maple functions (they are > used to evaluate i.e. the sin of the interval bounds) and doesn't > implement these anew. The rounding is done in intpakX, but it cannot > correct errors greater than 1 ulp that Maple produces. > > >Is the accuracy of Maple functions known? Note that when I say > >"known", I want something that could be regarded as guaranteed, > >based on proofs. > > > I do not have a proof for Maple accuracy, so I would be quite interested > if anyone knew about any such proof. > > Regards, > > Markus Grimmer > > -- > *************************************************************************** > Markus Grimmer > > Department of Mathematics - Scientific Computing / Software Engineering > University of Wuppertal > Gaussstr. 20, Room G.15.29, 42097 Wuppertal, Germany > Phone +49-202-439-3136 > markus.grimmer [at] math [dot] uni-wuppertal.de > *************************************************************************** > > > >