http://interval.louisiana.edu/euromath.html
Excerpts from: Interval Computations: Introduction, Uses, and Resources
by R. Baker Kearfott
,
Department of Mathematics,
University of Southwestern Louisiana,
U.S.L. Box 4-1010,
Lafayette, Louisiana 70504-1010,
USA
Email: rbk@louisiana.edu
Office telephone: (318) 482-5270
Fax: (318) 482-5346
The following are excerpts from the article Interval
Computations:
Introduction, Uses, and Resources that appeared in the Euromath
Bulletin 2 (1). These excerpts point to resources that
are available on the internet.
Please send any error reports or suggested enhancements to
me.
The sections are
Listed in the original article but not
currently available:
-
Currently
available:
-
Software, as follows, is available free of charge
over the Internet.
- PROFIL/BIAS
is a C/C++ package, developed by Jansson and
Knüppel at Hamburg, that implements an interval data type. It also
has
substantial support for linear algebra operations, and is notably
fast.
- INTLIB is a
library of FORTRAN~77 routines for
interval arithmetic operations and interval values of standard
functions.
- INTLIB_90 was a Fortran~90 module that defines an interval data
type, with support
for various standard functions. It is now ACM
Transactions on Mathematical
Software Algorithm
763.
-
C-XSC is one of the well-known "XSC" languages developed
under the direction of Prof. Dr. Kulisch at Universität
Karlsruhe. The entire package is available free of
charge.
Additional software is available through other distribution channels
or for a price. For further information, consult:
http://cs.utep.edu/interval-comp/main.html
There is an interval mailing list. This amiable
discussion group is
managed automatically by the Majordomo
software.
The list presently consists of roughly 450 subscribers across the
world. Items such as conference announcements, problems and solutions,
announcements of book publications, and similar information typically
are posted here. To subscribe to the mailing list, send a
message to:
majordomo@interval.louisiana.edu
The body of the message should consist of the line:
subscribe reliable_computing
Persons may just as easily remove themselves from the list or
obtain the email addresses on the list. Details are sent upon
subscription to the list.
The journal Interval Computations started as
a joint
Soviet-Western enterprise in 1991, and continues as the journal
Reliable
Computing.
Besides that, Computing
commonly publishes material related to interval computations, as well
as the journal
Journal of Global Optimization. Traditional numerical
analysis journals, such as
BIT, the SIAM
Journal on Numerical
Analysis, the
SIAM Journal on Scientific
and Statistical Computing, the
Mathematics of Computation, and the ACM
Transactions on Mathematical
Software contain articles on interval computations.
(Work is still being done on this part. If you have
URL's for your
book or conference proceedings, please send them to me.
Numerous conferences on the subject have been
held. Perhaps the most
well-known of these are the "SCAN" (Society for Computer Arithmetic
and Numerics) meetings, generally held biennially in the Fall in
Europe,
and sponsored by IMACS and GAMM. (The last two have been SCAN'93 in
Vienna and SCAN'95 in Wuppertal.) R. E. Moore held a meeting in
Columbus, Ohio in 1987. INTERVAL'92 was held in St. Petersburg,
Russia,
INTERVAL'94 was held in Moscow, and INTERVAL'96 will be held in
Würzburg in September, 1996. S. Markov organized conferences on
mathematical modeling and scientific computing, heavily featuring
interval computations, in Albena, Bulgaria in 1991 and in Sozopol,
Bulgaria in 1993. The conference on Numerical Analysis with Automatic
Result Verification was held in Lafayette, Louisiana in 1993. A
workshop
on interval arithmetic will take place in Recife, Brazil in August,
1996.
Click here for some details of upcoming conferences.
Click here for a list of home pages of various researchers.
Researchers not mentioned there should contact Prof.
Vladik Kreinovich, who maintains the Web page on
researchers.
This paper has briefly introduced the subject of
interval
computations, and has guided the reader to electronic and
printed material for further study and research.