[ Marquette
| MSCS
| Corliss
| Vladik's Intervals
]
Interval FAQ:
[ Entry page
| Contents
| Search
]
About Sun's f95 with Interval Support
Interval FAQ
Interval compilers and programming environments?
Where can I get a compiler/programming environment for interval
arithmetic?
Response by George Corliss:
(georgec@mscs.mu.edu), Department of Mathematics, Statistics, and Computer
Science, Marquette University.
You will need some environment or processor supporting interval arithmetic. Examples include:
- Sun Micro Systems Fortran 95
- http://access1.sun.com/workshop6ea)
The early access (beta test) version of Sun's Fortran 95 compiler with
support for intrinsic interval data types is now available.
Commercial interval support provides a number of opportunities for members
of the interval community and for Sun. Members of the interval community
have an important role to play in helping to make sure support for intervals
is a commercial success. If it is, both the interval community and
Sun will benefit.
- See
Announcement
- Fortran 77
- INTLIB
(ftp://interval.louisiana.edu/pub/interval_math/intlib/)
ACM TOMS Algorithm 737 - A FORTRAN 77 library for interval arithmetic
and for rigorous bounds on the ranges of standard functions.
R. Baker Kearfott
(rbk@usl.edu)
- g77-i
(www.eecs.lehigh.edu/~mschulte/compiler/code/)
The g77-i compiler has full Fortran 77 support for
single-precision intervals, and implements binary interval I/O as
specified in the 5/4/98 version of the interval arithmetic
specification. Mike Schulte
(mschulte@eecs.lehigh.edu)
and Craig Burley
- Fortran 90
- INTLIB 90
(ftp://interval.louisiana.edu/pub/interval_math/Fortran_90_software/submission-to-TOMS/)
ACM TOMS Algorithm 763 - A FORTRAN 90 library for interval arithmetic
and for rigorous bounds on the ranges of standard functions.
R. Baker Kearfott
(rbk@usl.edu)
- C/C++
- PROFIL/BIAS
(www.ti3.tu-harburg.de/Software/PROFIL.html)
Perhaps the most widely used environment for interval programming.
Olaf Knüppel
(knueppel@tu-harburg.d400.de)
- C-XSC
(www.uni-karlsruhe.de/~iam/html/language/cxsc/cxsc.html)
C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It
provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus,
C-XSC allows high-level programming of numerical applications in C and C++. The C-XSC package is available for many
computers with a C++ compiler translating the AT&T language standard 2.0.
Institut für Angewandte Mathematik, Universitat Karlsruhe.
- Precise Computation
(www.math.tamu.edu/~oliver.aberth/)
Variable precision range arithmetic. Oliver Aberth
(aberth@math.tamu.edu)
- Pascal
- Pascal-XSC
(www.uni-karlsruhe.de/~iam/html/language/pxsc.html)
PASCAL-XSC was developed to supply a powerful tool for the numerical
solution of scientific problems based upon a properly defined and
implemented computer arithmetic in the usual spaces of numerical
computation. Interval arithmetic, complex arithmetic, complex interval
arithmetic, and the corresponding vector and matrix arithmetics are
provided. Institut für Angewandte Mathematik, Universitat Karlsruhe.
- MATLAB
- INTLAB
(www.ti3.tu-harburg.de/rump/intlab/)
INTLAB is Matlab toolbox for self-validating algorithms.
Siegfried M. Rump
(rump@tu-harburg.de)
- b4m
(www.ti3.tu-harburg.de/zemke/b4m/)
The package b4m is a free interval arithmetic toolbox for Matlab 5.
b4m is an abbreviation of BIAS for Matlab.
Jens Zemke
(zemke@tu-harburg.de)
- Mathematica
- Mathematica
(www.wolfram.com) includes an interval package written by Jerry Keiper.
I have no experience with it.
- Maple
- Maple
(www.maplesoft.com) is distributed with a share library,
which includes the Intpak by Connell and Corless.
- Jens Maurer
- See C++ class library for intervals,
from Jens Maurer
[ Marquette
| MSCS
| Corliss
| Vladik's Intervals
]
Interval FAQ:
[ Entry page
| Contents
| Search
]
About Sun's f95 with Interval Support
If you have a question related to validated computing, interval
analysis, or related matters, I recommend
This page URL:
http://www.mscs.mu.edu/~georgec/IFAQ/environments.html
Last modified March 14, 19100.
Send comments to (georgec@mscs.mu.edu)
Access count since 20 Apr 1999 :