From owner-reliable_computing Wed May 1 10:31:06 1996 Received: by interval.usl.edu id AA01578 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 1 May 1996 11:29:34 -0500 Received: from di.ufpe.br by interval.usl.edu with SMTP id AA01572 (5.65c/IDA-1.4.4 for ); Wed, 1 May 1996 11:29:29 -0500 Received: from arcoverde.diufpe (arcoverde.di.ufpe.br) by di.ufpe.br (4.1/SMI-4.1) id AA07205; Wed, 1 May 96 13:31:07 EST Received: by arcoverde.diufpe (4.1/SMI-4.1) id AA02736; Wed, 1 May 96 13:31:06 EST Date: Wed, 1 May 1996 13:31:06 -0300 (EST) From: Workshop Aritmetica Intervalar 96 Subject: WAI'96 To: reliable_computing [at] interval [dot] usl.edu Cc: mac [at] di [dot] ufpe.br, ggn [at] di [dot] ufpe.br Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, The WWW page of WAI'96 (II Workshop on Computer Arithmetic, Interval and Symbolic Computation) is "http://www.di.ufpe.br/~wai96/". ------------------------------------------------------ WAI96 (wai96 [at] di [dot] ufpe.br) Universidade Federal de Pernambuco Departamento de Informatica Tel: (081) 271.8430 fax: (081) 271.4925 Caixa Postal 7851 - CEP 50.740-540 Recife, PE, Brasil ------------------------------------------------------ From owner-reliable_computing Wed May 1 11:51:38 1996 Received: by interval.usl.edu id AA01890 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 1 May 1996 18:51:49 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA01884 (5.65c/IDA-1.4.4 for ); Wed, 1 May 1996 18:51:46 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA20117; Wed, 1 May 96 17:51:38 MDT Date: Wed, 1 May 96 17:51:38 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605012351.AA20117 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: update on Brazil conference Sender: owner-reliable_computing Precedence: bulk The latest information on the WAI'96 - II Workshop on Computer Arithmetic, Interval and Symbolic Computation (Brazil, August 7-8, 1996) is placed on the Web, including the list of invited speakers, the list of accepted abstracts, and the detailed information about the city and about the conference. According to this information, the authors of the accepted abstracts must inform the organizers by June 3 whether they are planning to attend the conference. The URL is http://www.di.ufpe.br/~wai96/ You can also get to this website by clicking on Forthcoming Conferences in the interval computations web site URL http://cs.utep.edu/interval-comp/main.html Those who do not have easy access to the Web, please contact the organizers by email at wai96 [at] di [dot] ufpe.br. From owner-reliable_computing Sat May 4 08:50:50 1996 Received: by interval.usl.edu id AA03016 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sat, 4 May 1996 15:50:58 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA03010 (5.65c/IDA-1.4.4 for ); Sat, 4 May 1996 15:50:54 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA04222; Sat, 4 May 96 14:50:50 MDT Date: Sat, 4 May 96 14:50:50 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605042050.AA04222 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: applications of interval computations Cc: vladik [at] cs [dot] utep.edu, janb [at] mail [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk Reviews and abstracts of recent papers on applications of interval computations have been placed on the Interval Computations website. They can be accessed by clicking on the Applications in the main menu (http://cs.utep.edu/interval-comp/main.html). This Applications page also contains links to Recent Papers, where a paper by Benedetti et al. on applications to electric circuits is stored. The abstracts are mainly stored in LaTeX format. The set of stored abstracts is by no means complete. There are several papers that still await reviewing. I would like to encourage authors of applications papers that are not mentioned here to send me their papers and/or abstracts. My mailing address is Vladik Kreinovich Department of Computer Science University of Texas at El Paso El Paso, TX 79968, USA I wish to thank our new helper Jan Beck, who has actually transformed the reviews and abstracts into the Web format, for his great work. Vladik From owner-reliable_computing Mon May 6 16:34:56 1996 Received: by interval.usl.edu id AA03776 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 6 May 1996 10:56:35 -0500 Received: from mail.RWTH-Aachen.DE by interval.usl.edu with SMTP id AA03770 (5.65c/IDA-1.4.4 for ); Mon, 6 May 1996 10:50:46 -0500 Received: from igpm.rwth-aachen.de (numa1.igpm.RWTH-Aachen.DE) by mail.rwth-aachen.de (PMDF V5.0-4 #13110) id <01I4E0ETY7K0003GLS [at] mail [dot] rwth-aachen.de>; Mon, 06 May 1996 14:35:01 +0100 Received: by igpm.rwth-aachen.de (950413.SGI.8.6.12/930416.SGI) id OAA10177; Mon, 06 May 1996 14:34:56 +0200 Date: Mon, 06 May 1996 14:34:56 +0200 From: jarausch [at] igpm [dot] rwth-aachen.de (Helmut Jarausch) Subject: (E)Mail address of B. S. Dobronets To: wai96 [at] di [dot] ufpe.br Cc: reliable_computing [at] interval [dot] usl.edu Message-Id: <199605061234.OAA10177 [at] igpm [dot] rwth-aachen.de> X-Mailer: [XMailTool v3.1.2b] Content-Transfer-Encoding: 7BIT Sender: owner-reliable_computing Precedence: bulk Dear Colleagues, I have seen in the WWW page of WAI'96 (II Workshop on Computer Arithmetic, Interval and Symbolic Computation(http://www.di.ufpe.br/~wai96/) the announce of a talk given by B. S. Dobronets on "Two-Sided Numerical Method for Nonlinear Elliptic Boundary Value Problems" Since I am very interested in that subject but cannot attend that workshop I would appreciate it very much if somebody could give me the email (mail) address of professor B. S. Dobronets. Thanks in advance, Helmut Jarausch. From owner-reliable_computing Tue May 7 07:45:47 1996 Received: by interval.usl.edu id AA04220 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 6 May 1996 19:02:09 -0500 Received: from sequent.kiae.su by interval.usl.edu with SMTP id AA04214 (5.65c/IDA-1.4.4 for ); Mon, 6 May 1996 19:02:00 -0500 Received: by sequent.kiae.su id AA04002 (5.65.kiae-2 for reliable_computing [at] interval [dot] usl.edu); Tue, 7 May 1996 03:48:41 +0400 Message-Id: <199605062348.AA04002 [at] sequent [dot] kiae.su> Received: by sequent.KIAE.su (UUMAIL/2.0); Tue, 7 May 96 03:48:39 +0400 Received: by globlab.msk.su (UUPC/@ v5.09gamma, 14Mar93); Tue, 7 May 1996 03:45:48 +0400 To: reliable_computing [at] interval [dot] usl.edu From: Alexander G. Yakovlev Date: Tue, 7 May 1996 03:45:47 +0400 Subject: Dr. Dobronets - how to communicate Lines: 26 Sender: owner-reliable_computing Precedence: bulk May 7, 1996 Dear Dr. Jarausch, >I have seen in the WWW page of WAI'96 (II Workshop on Computer >Arithmetic, Interval and Symbolic Computation >(http://www.di.ufpe.br/~wai96/) >the announce of a talk given by B. S. Dobronets on >"Two-Sided Numerical Method for Nonlinear Elliptic Boundary Value >Problems" >Since I am very interested in that subject but cannot attend that >workshop I would appreciate it very much if somebody could give me >the email (mail) address of professor B. S. Dobronets. Dr. Dobronets is a member of the editorial board of our journal "Reliable Computing". In case the journal is available for you, you can see his complete address at the end of any issue. As to e-mail, try to write to dobr [at] intra [dot] krasnoyarsk.su or dobr [at] cckr [dot] krasnoyarsk.su. Please write me if any problems appear. Alexander G. Yakovlev, Managing Editor of "Reliable Computing" From owner-reliable_computing Wed May 8 10:05:46 1996 Received: by interval.usl.edu id AA06992 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Wed, 8 May 1996 15:05:36 -0500 Received: from EESUN1.TAMU.EDU by interval.usl.edu with SMTP id AA06986 (5.65c/IDA-1.4.4 for ); Wed, 8 May 1996 15:05:31 -0500 Received: from localhost (bhatt@localhost) by eesun1.tamu.edu (8.7/8.7) with SMTP id PAA17880; Wed, 8 May 1996 15:05:46 -0500 (CDT) X-Authentication-Warning: eesun1.tamu.edu: bhatt owned process doing -bs Date: Wed, 8 May 1996 15:05:46 -0500 (CDT) From: "Dr. S Bhattacharyya" X-Sender: bhatt [at] eesun1 [dot] tamu.edu To: barford [at] hplabs [dot] hpl.hp.com Cc: reliable_computing [at] interval [dot] usl.edu Subject: Re: Wanted: solutions to interval eigenvalue problems In-Reply-To: <9604091248.ZM2119 [at] msd [dot] hpl.hp.com> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing Precedence: bulk On Tue, 9 Apr 1996, Lee Barford wrote: >I would appreciate receiving pointers to research concerning computing interval > * eigenvalues of real symmetric interval matrices or > * singular values of general complex interval matrices. > >I am most interested in hearing about work in progress or unpublished research, >as I am also doing a literature search on these topics. > >Regards, >Lee Barford > >-- >Lee A. Barford barford [at] hpl [dot] hp.com Voice: 415-857-3606 >Hewlett-Packard Laboratories 4AD FAX: 415-852-8092 >POB 10151 >Palo Alto, CA 94303-0889 http://www.hpl.hp.com/personal/Lee_Barford > We have a recent paper on ``Robust stability of Interval Matrices: A Computational Approach" International J. Control, vol. 62(6), pp.1491-1506. Will be happy to send you a hard copy if you send your address. Regards Shankar Bhattacharyya From owner-reliable_computing Sun May 12 03:56:58 1996 Received: by interval.usl.edu id AA14767 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 12 May 1996 10:57:05 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA14761 (5.65c/IDA-1.4.4 for ); Sun, 12 May 1996 10:57:01 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA10404; Sun, 12 May 96 09:56:58 MDT Date: Sun, 12 May 96 09:56:58 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605121556.AA10404 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: contents of Reliable Computing in BibTeX form Cc: mkosh [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk The context of all issues of Interval Computations (except supplements) and Reliable Computing has been placed in a BibTeX file. (The contents of the supplements is being currently added). This file can be accessed from the interval computations website (http://cs.utep.edu/interval-comp/main.html): from the main menu, click on the journal, and from the journal page, click on the BibTeX file. If you do not have access to Web, we will gladly send you a file by email. Comments, corrections, and suggestions are highly appreciated. We want to thank Dr. Beebe for the idea of BibTeX journal contents and for his encouragement. Vladik and Misha From owner-reliable_computing Wed May 15 09:47:33 1996 Received: by interval.usl.edu id AA15788 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 14 May 1996 21:22:39 -0500 Received: from sovcom.kiae.su by interval.usl.edu with SMTP id AA15782 (5.65c/IDA-1.4.4 for ); Tue, 14 May 1996 21:22:17 -0500 Received: by sovcom.kiae.su id AA23673 (5.65.kiae-1 for reliable_computing [at] interval [dot] usl.edu); Wed, 15 May 1996 04:49:31 +0300 Message-Id: <199605150149.AA23673 [at] sovcom [dot] kiae.su> Received: by sovcom.KIAE.su (UUMAIL/2.0); Wed, 15 May 96 04:49:31 +0300 Received: by globlab.msk.su (UUPC/@ v5.09gamma, 14Mar93); Wed, 15 May 1996 05:47:35 +0400 To: reliable_computing [at] interval [dot] usl.edu From: Alexander G. Yakovlev Date: Wed, 15 May 1996 05:47:33 +0400 Subject: Special offer Lines: 212 Sender: owner-reliable_computing Precedence: bulk Special 15% discount offer Valid till December 31st, 1996 -------------------------- ------------------------------ International Journal ***** ***** RELIABLE COMPUTING ***** ***** ----------------------------------------- *** Complete back subscriptions limited offer *** ----------------------------------------- A refereed international journal, RELIABLE COMPUTING is the only periodical in the world devoted specifically to various aspects of reliable mathematical computations based on finite representations of mathematical objects, and giving a guaranteed accuracy of computed results. It is managed by an international editorial board from Bulgaria, Germany, Japan, Russia, and the United States, and printed in Russia. The journal is distributed in approximately 30 countries throughout the world. It includes various items in the fields of theoretical research, computer tools, applications, interdisciplinary research, and other relevant areas in the field of mathematical computations with the use of a computer. The following subjects are within the focus of the journal: numerical, symbolic and combined algorithms for solving computational problems, the interval approach, computer architecture for mathematical computations, contemporary languages for mathematical processes description, methods of localization of solutions, teaching of reliable computational methods at universities, etc. "Reliable Computing" also publishes proceedings of international conferences, such as INTERVAL'XX, SCAN'XX, etc. The editorial policy is based on the fruitful experience of 4 years of publishing the journal "Interval Computations", and continues its best traditions, but now it is not restricted to the interval approach. Additionally, many enhancements has been made in the journal's typesetting and layout, and its size is now larger. We hope the widened scope of our journal will attract a wider circle of readers. Consistent with the policy of "Interval Computations," the languages of publication are English and Russian, with at least 90% of the items in English. All articles are provided with abstracts in both languages. Papers published in "Reliable Computing" are listed in well-known abstracting and bibliographic journals, i.e. "Mathematical Reviews", "Referativnyi Zhurnal VINITI" and others. The journal includes: o original papers o surveys and tutorials o reports on new computer tools o bibliographies o reviews of new books o letters to the editor o information about scientific meetings All published issues of "Interval Computations" and "Reliable Computing", excluding No 1/1991, are available for purchase (see the section below). Additionally, Supplementum 1, consisting of a "Bibliography of Works on Interval Computations Published in Russian", with a subject index, is now available. It includes almost all sensible references in the field (547 items in the current version) in English translation. In addition, the Editorial Board has published the collection of abstracts of the International Conference on Interval and Computer- Algebraic Methods in Science and Engineering (Interval'94), which was held in St.Petersburg, Russia, March 7-10, 1994. Abstracts are in English, two pages average, including postal and e-mail addresses of the authors (total 226 p.). EDITORIAL BOARD The Editorial Board of "Reliable Computing" includes: G. ALEFELD Karlsruhe, Germany B. S. DOBRONETS Krasnoyarsk, Russia R. B. KEARFOTT Lafayette, LA, USA - official representative in the Western Hemisphere V. KREINOVICH El Paso, TX, USA S. M. MARKOV Sofia, Bulgaria E. A. MUSAEV St. Petersburg, Russia - Executive Editor M. T. NAKAO Fukuoka, Japan V. M. NESTEROV St. Petersburg, Russia - Editor-in-Chief H. RATSCHEK Duesseldorf, Germany S. M. RUMP Hamburg, Germany A. L. SEMENOV Moscow, Russia S. P. SHARY Novosibirsk, Russia J. WOLFF VON GUDENBERG Wuerzburg, Germany - official representative in Europe A. G. YAKOVLEV Moscow, Russia - Managing Editor V. S. ZYUZIN Saratov, Russia The address of the Editorial Board: Box 52 195256 St.Petersburg Russia Phone: +7-812-534-4120 Fax: +7-812-234-4852 E-mail: nest [at] nit [dot] spb.su (preferable), intcom [at] glas [dot] apc.org SUBSCRIPTION INFORMATION *** SPECIAL LIMITED OFFER *** *** VALID TILL DECEMBER 31ST, 1996 *** This special offer is aimed specially at university libraries and other institutions interested in getting a COMPLETE BACK SUBSCRIPTIONS SET of the journal. For individual subscriptions, please contact regional representatives. All indicated prices include postage. Regular prices for complete back sets for: #2 for 1991 (#1 is N/A) US$ 30.00 DM 42.00 1992 (4 issues) US$ 120.00 DM 168.00 1993 (4 issues) US$ 120.00 DM 168.00 1994 (4 issues) US$ 120.00 DM 168.00 1995 (4 issues) US$ 120.00 DM 168.00 Supplementum 1 US$ 20.00 DM 28.00 Interval'94 abstracts US$ 30.00 DM 42.00 ------------------------------------------------------------------- Total: US$ 560.00 DM 784.00 +----------------------------------- For institutions only! ------+ | Save 15% and get a complete set! | |Special limited offer: | |from 1991 to 1995 including | |Suppl. 1 and Interval'94 | |abstracts ! | | Total: US$ 476.00 DM 667.00 | +-----------------------------------------------------------------+ Regular subscription: 1996 (4 issues) US$ 120.00 DM 168.00 If you wish to use benefits of this special offer or just subscribe to "Reliable Computing" and/or receive the Supplements, please send this order form, along with a check for the appropriate amount (or use a bank transfer), to one of our official representatives: Payment in US$: Payment in DM: Dr. R. Baker Kearfott Prof. Dr. J. Wolff von Gudenberg Department of Mathematics Lehrstuhl f. Informatik II Univ. of Southwestern Louisiana Universitaet Wuerzburg U.S.L. Box 4-1010 Lafayette Am Hubland LA 70504-1010 Wuerzburg D-97074 USA Germany Office: (318) 231-5270 Phone: +49-931-888-5517 Home: (318) 981-9744 Fax: +49-931-888-4602 E-mail: rbk [at] usl [dot] edu E-mail: wolff [at] informatik [dot] uni-wuerzburg.de wuerzburg.de Please make a check to Instructions for bank transfer: the "University of holder: J. Wolff v. Gudenberg Southwestern Louisiana" number: 560219826 bank: Kreissparkasse Wuerzburg bank code: 790 501 30 ATTENTION: up to 1994, the journal was published under the title "Interval Computations" ---------------------------------------------------------------------- "RELIABLE COMPUTING" ORDER FORM Name: ________________________________________________________________ Organization: ________________________________________________________ Address: _____________________________________________________________ ______________________________________________________________________ State: _______________________________ Zip: __________________________ Tel.: __________________ (optional) Fax: __________________ (optional) E-mail: __________________________________________ (highly desirable!) [ ] Please accept the subscription for the journal "Reliable Computing" for: Back sets: [ ] #2 1991 (#1 N/A) US$ 30.00 DM 42.00 [ ] 1992 (4 issues) US$ 120.00 DM 168.00 [ ] 1993 (4 issues) US$ 120.00 DM 168.00 [ ] 1994 (4 issues) US$ 120.00 DM 168.00 [ ] 1995 (4 issues) US$ 120.00 DM 168.00 Regular subscription: [ ] 1996 (4 issues) US$ 120.00 DM 168.00 Supplements: [ ] Supplementum 1 US$ 20.00 DM 28.00 [ ] Interval'94 abstracts US$ 30.00 DM 42.00 [ ] We wish to use your special limited offer for institutions and save 15% off the regular price: [ ] #2/1991, all issues from 1992 to 1995 including Suppl. 1 and Interval'94 Abstracts US$ 476.00 DM 667.00 Sum of __________ paid via [ ] cheque [ ] bank transfer Date: _______________________ Signature: _____________________ From owner-reliable_computing Thu May 16 08:40:17 1996 Received: by interval.usl.edu id AA17064 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 16 May 1996 11:40:45 -0500 Received: from yonge.cs.toronto.edu by interval.usl.edu with SMTP id AA17058 (5.65c/IDA-1.4.4 for ); Thu, 16 May 1996 11:40:42 -0500 Received: from dvp.cs.toronto.edu ([128.100.1.15]) by yonge.cs.toronto.edu with SMTP id <86514>; Thu, 16 May 1996 12:40:31 -0400 Received: by dvp.cs.toronto.edu id <15349>; Thu, 16 May 1996 12:40:19 -0400 From: Jeff Tupper To: reliable_computing [at] interval [dot] usl.edu Subject: Generalized Interval Arithmetic MSc Content-Length: 1659 Message-Id: <96May16.124019edt.15349 [at] dvp [dot] cs.toronto.edu> Date: Thu, 16 May 1996 12:40:17 -0400 Sender: owner-reliable_computing Precedence: bulk A while ago I finished my MSc on generalized interval arithmetic. Interest has been expressed, so I decided to circulate it further to see if others are interested. I would like very much to get any comments and/or feedback on it. The abstract is below. The thesis is online, at http://www.dgp.toronto.edu/people/mooncake/msc.html There is some other info there, as well as a pointer to a commercial graphing program that uses interval arithmetic (which I wrote in 1993) Graphing Equations with Generalized Interval Arithmetic Abstract Floating-point is commonly used in numerical computations; this use has revealed its inherent inaccuracy and has spread uncertainty throughout the computer community. Interval techniques unite the precision provided by the modern computer with the accuracy accorded to traditional mathematics. As interval analysis matured, sophisticated optimization of interval techniques has occurred. This thesis presents a framework which enables further optimization of interval routines, while shielding the numerical practitioner from the complexities that have recently surfaced in interval algorithms. This new framework is constructed by migrating variables from the problem domain into the interval arithmetic. Properties of functions within the problem domain may be tracked, so many common non-differentiable partial functions are handled naturally. This new approach is briefly compared with the much earlier, independent approach offered by Eldon R. Hansen in 1975. The fundamental problem of reliably rendering graphs of implicit equations drives the comparison. Jeff From owner-reliable_computing Thu May 16 14:40:15 1996 Received: by interval.usl.edu id AA17370 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Thu, 16 May 1996 21:40:25 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA17364 (5.65c/IDA-1.4.4 for ); Thu, 16 May 1996 21:40:23 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA01311; Thu, 16 May 96 20:40:15 MDT Date: Thu, 16 May 96 20:40:15 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605170240.AA01311 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: generalized interval arithmetic and graphics Cc: mooncake [at] cs [dot] toronto.edu, mkosh [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk Jeff Tupper from the University of Toronto has placed his thesis on generalized interval arithmetic and its applications to computer graphics (namely, to rendering) on the Web. This thesis is placed both in HTML format and in PostScript. It can be accessed in three different ways: 1) via the Interval Computations website URL http://cs.utep.edu/interval-comp/main.html by clicking on Generalized Interval Arithmetic in the main menu; 2) by first clicking on Applications in the main menu, and then clicking on the corresponding link in the Applications page; 3) directly, from http://www.dgp.utoronto.ca/people/mooncake/msc.html Vladik and Misha P.S. The thesis was automatically translated from LaTeX to HTML by using a Latex-to-HTML tool; the link to this tool is included on the front page of the thesis. From owner-reliable_computing Sun May 19 19:16:52 1996 Received: by interval.usl.edu id AA00328 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 20 May 1996 17:07:47 -0500 Received: from mailhost.lanl.gov by interval.usl.edu with SMTP id AA00307 (5.65c/IDA-1.4.4 for ); Mon, 20 May 1996 17:07:05 -0500 Received: from xdiv.lanl.gov by mailhost.lanl.gov (8.7.5/1.2) id BAA26534; Mon, 20 May 1996 01:16:52 -0600 (MDT) Received: from xdiv.lanl.gov.xdiv (angus.lanl.gov [128.165.123.30]) by xdiv.lanl.gov (8.6.12/8.6.12) with SMTP id BAA08330; Mon, 20 May 1996 01:16:52 -0600 Date: Mon, 20 May 1996 01:16:52 -0600 Message-Id: <199605200716.BAA08330 [at] xdiv [dot] lanl.gov> Received: by xdiv.lanl.gov.xdiv (4.1/SMI-4.1) id AA05972; Mon, 20 May 96 01:16:44 MDT From: "Rajendra B. Patil" To: reliable_computing [at] interval [dot] usl.edu, rbp1 [at] xdiv [dot] lanl.gov Subject: Inclusion of Inverse Reply-To: Raj Patil Sender: owner-reliable_computing Precedence: bulk Hi: In J. Herzberger (ed.), Topics in Validated Computations, Elsevier, Amsterdam, pp. 209 -- 276 (1994) the paper by Dr. Herzberger describes inclusion of the inverse of real matrix and interval matrix. Has anyone implemented this? I am looking for clear algorithmic description of these techniques for implementation purpose. Any help appreciated... Best regards, ------------------------------------------------------------- Raj Patil email: rbp1 [at] lanl [dot] gov phone: (505)-667-2554 MS - F 645 fax : (505)-665-4479 XCM, Los Alamos National Laboratory Los Alamos, NM 87545 ------------- alternate address ----------------------------- P.O Box 1145 Los Alamos, NM 88003 ------------------------------------------------------------- From owner-reliable_computing Sun May 19 10:13:06 1996 Received: by interval.usl.edu id AA00588 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Mon, 20 May 1996 17:30:27 -0500 Received: from mailhost.lanl.gov by interval.usl.edu with SMTP id AA00582 (5.65c/IDA-1.4.4 for ); Mon, 20 May 1996 17:30:21 -0500 Received: from xdiv.lanl.gov by mailhost.lanl.gov (8.7.5/1.2) id QAA14818; Sun, 19 May 1996 16:13:06 -0600 (MDT) Received: from xdiv.lanl.gov.xdiv (angus.lanl.gov [128.165.123.30]) by xdiv.lanl.gov (8.6.12/8.6.12) with SMTP id QAA06826 for ; Sun, 19 May 1996 16:13:06 -0600 Date: Sun, 19 May 1996 16:13:06 -0600 Message-Id: <199605192213.QAA06826 [at] xdiv [dot] lanl.gov> Received: by xdiv.lanl.gov.xdiv (4.1/SMI-4.1) id AA05939; Sun, 19 May 96 16:12:58 MDT From: "Rajendra B. Patil" To: reliable_computing [at] interval [dot] usl.edu Subject: determinant enclosure Reply-To: Raj Patil Sender: owner-reliable_computing Precedence: bulk Hi: Are there ant references to Enclosures of the determinants of all n x n matrix Apoint \in IA for an n x n interval matrix IA ? Thanks, Raj From owner-reliable_computing Fri May 24 05:58:29 1996 Received: by interval.usl.edu id AA02524 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Fri, 24 May 1996 09:03:45 -0500 Received: from yonge.cs.toronto.edu by interval.usl.edu with SMTP id AA02518 (5.65c/IDA-1.4.4 for ); Fri, 24 May 1996 09:03:40 -0500 Received: from dvp.cs.toronto.edu ([128.100.1.15]) by yonge.cs.toronto.edu with SMTP id <86669>; Fri, 24 May 1996 09:58:40 -0400 Received: by dvp.cs.toronto.edu id <15373>; Fri, 24 May 1996 09:58:32 -0400 From: Ned Nedialkov To: reliable_computing [at] interval [dot] usl.edu Subject: Taylor Series Message-Id: <96May24.095832edt.15373 [at] dvp [dot] cs.toronto.edu> Date: Fri, 24 May 1996 09:58:29 -0400 Sender: owner-reliable_computing Precedence: bulk I need to find some software, preferably in C/C++ or Fortran, for automatic generation of Taylor coefficients. Any leads? Thanks, Ned From owner-reliable_computing Sun May 26 13:25:40 1996 Received: by interval.usl.edu id AA03428 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Sun, 26 May 1996 20:25:48 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA03422 (5.65c/IDA-1.4.4 for ); Sun, 26 May 1996 20:25:44 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA01134; Sun, 26 May 96 19:25:40 MDT Date: Sun, 26 May 96 19:25:40 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605270125.AA01134 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: uodate on workshop? on complexity of interval computations Cc: longpre [at] cs [dot] utep.edu Sender: owner-reliable_computing Precedence: bulk International Workshop on Computational Complexity of Interval Computations back-to-back with STOC'97 (Symposium on Theory of Computing): an update On May 4-6, 1997, El Paso will host 1997 ACM STOC (Symposium on Theory of Computing). STOC is the largest ACM symposium, that attracts lots of researchers in all areas of theory. The call for papers will be sent soon (for detailed information, please contact me or Luc Longpre, the Chair of the local organizing committee at longpre [at] cs [dot] utep.edu). As one of the local organizers of STOC'97, I welcome everyone who is doing research in computational complexity of interval computations to submit their paper to STOC. Traditionally, due to the broad spectrum of interests, STOC accepts only a few realy outstanding papers from each area that may be of interest to the general theoretical community. It would be nice to have one or two paper related to computational complexity of interval computations presented at STOC. That will boost the existing interest to complexity of computations with real numbers, provide us with an additional publicity, and, hopefully, lead to important new contacts. Since STOC only covers the few best papers in each theory area, to get a more in-depth coverage, workshops and conference are often organized back-to-back with STOC. Having several conferences at one place enables researchers and students to visit several conferences with a reduction in total cost, and thus increases the attendance of all conferences. Having several conferences at the same place also makes the job of local organizers easier :-) In Summer 1995, I sent an email to this list proposing a workshop on computational complexity of interval computations right after STOC, on May 7-9, and I got several positive responses (including several suggestions to make it broader, and a suggestion to call it a conference rather than a workshop). Recently, we have reserved a block of rooms for this workshop with the hotel (Camino Real Paso del Norte, the best hotel in town) at a special rate of $60 single, $70 double. If you are interested in attending STOC and/or this workshop please let me know ASAP. We need a preliminary head count to finalize hotel reservations and to decide where to publish the proceedings. If you have suggestions re its scope or organization please let me know; I will greatly appreciate any help. Yours Vladik Vladik Kreinovich, email vladik [at] cs [dot] utep.edu P.S. Please note a minor date change as compared to my previous email; STOC'96 has just voted to hold STOC'97 one day earlier, so our workshop will have to move one day earlier as well. From owner-reliable_computing Tue May 28 11:49:51 1996 Received: by interval.usl.edu id AA04248 (5.65c/IDA-1.4.4 for reliable_computing-outgoing); Tue, 28 May 1996 18:50:24 -0500 Received: from cs.utep.edu by interval.usl.edu with SMTP id AA04242 (5.65c/IDA-1.4.4 for ); Tue, 28 May 1996 18:50:15 -0500 Received: from earth.cs.utep.edu by cs.utep.edu (4.1/SMI-4.1) id AA24532; Tue, 28 May 96 17:49:51 MDT Date: Tue, 28 May 96 17:49:51 MDT From: vladik [at] cs [dot] utep.edu (Vladik Kreinovich) Message-Id: <9605282349.AA24532 [at] cs [dot] utep.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: Supplement 2 Sender: owner-reliable_computing Precedence: bulk In the recent ad re back issues of the Reliable Computing journal, accidentally, Supplement 2 was skipped: Supplementum 2 contains peer-refereed and edited