Interval FAQ: [ Entry page | Contents | Search ]

About Sun's f95 with Interval Support

Interval compilers and programming environments?

(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

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

- Vladik Kreinovich's Interval Computation web site, or
- Submit it to the interval computations listserv: reliable_computing@interval.louisiana.edu

Last modified March 14, 19100. Send comments to (

Access count since 20 Apr 1999 :