Algorithm 737: INTLIB—a Portable Fortran 77 Interval Standard-Function Library

ACM Transactions on Mathematical Software (TOMS)

Volumn 20, Issue 4, 1994, Pages 447-459

  Kearfott, R B ^a   Dawande, M ^b   Du, K ^a   Hu, C ^c  

^a UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c UNIVERSITY OF HOUSTON   (United States)

Author keywords

BLAS; Fortran 77; Fortran 90; interval arithmetic; operator overloading; standard functions

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE PORTABILITY; DIGITAL ARITHMETIC; FORTRAN (PROGRAMMING LANGUAGE); MATHEMATICAL OPERATORS;

INTERVAL ARITHMETIC; OPERATOR OVERLOADING; SOFTWARE LIBRARIES; SOFTWARE PACKAGE BLAS; STANDARD FUNCTIONS;

ALGORITHMS;

EID: 0028754553     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/198429.198433     Document Type: Article

References (25)

1. ALEFELD, G. AND HERZBERGER, J. 1983. Introduction to Interval Computations. Academic Press, New York.
2. BRAUNE, K. D. 1987. Hochgenaue Standardfunktionen fur reele und komplexe punkte und intervalle in beliebigen gleitpunktrastern. Ph.D. dissertation, Universität Karlsruhe.
3. CONNELL, A. AND CORLESS, R. M. 1993. An experimental interval arithmetic package in Maple. Interval Comput. 2, 120-134.
4. CORLISS, G. F. 1993. Comparing software packages for interval arithmetic. Preprint, Dept. of Mathematics, Marquette Univ., Milwaukee, Wise.
5. CORLISS, G. F. 1991. Proposal for a Basic Interval Arithmetic Subroutines Library (BIAS). Preprint, Dept. of Mathematics, Marquette Univ., Milwaukee, Wise.
6. CRARY, F. 1976. The AUGMENT precompiler. Tech. Report 1470, Mathematics Research Center, The Univ. of Wisconsin, Madison.
7. HAMMER, R., NEAGA, M., AND RATZ, D. 1993. PASCAL-XSC, New concepts for scientific computation and numerical data processing. In Scientific Computing with Automatic Result Verification. Academic Press, New York, 15-44.
8. HANSEN, E. R. 1992. Global Optimization using Interval Analysis. Marcel Dekker, New York.
9. Hu, C. AND KEARFOTT, R. B. 1993. On bounding the range of some elementary functions in FORTRAN 77. Interval Comput. 3, 29-39.
10. KAUCHER, E. W. AND MIRANKER, W. L. 1984. Self-Validating Numerics for Function Space Problems. Academic Press, Orlando, Fla.
11. KEARFOTT, R. B. 1995. A Fortran 90 environment for research and prototyping of enclosure algorithms for constrained and unconstrained nonlinear equations. ACM Trans. Math. Softw. 21, 1. To be published.
12. KEARFOTT, R. B. AND NOVOA, M. 1990. INTBIS, A portable interval Newton/bisection package (Algorithm 681). ACM Trans. Math. Softw. 16, 2, 152-157.
13. KEARFOTT, R. B., DAWANDE, M., DU, K.-S., AND HU, C.-Y. 1992. INTLIB: A portable FORTRAN 77 elementary function library. Interval Comput. 3, 5, 96-105.
14. KEIPER, J. B. 1993. Interval arithmetic in mathematica. Interval Comput. 3, 76-87.
15. KNÜPPEL, O. 1993. BIAS-Basic interval arithmetic subroutines. In the abstracts for the IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics.
16. KORN, C. F. AND ULLRICH, C. 1993. Extending LINPACK by verification routines for linear systems. In the abstracts for the IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics.
17. KRÄMER, W. 1987. Inverse Standardfunktionen für reelle und komplexe intervallargumente mit a priori fehlerabschätzungen. Ph.D. dissertation, Universität Karlsruhe.
18. KULISCH, U. W. AND MIRANKER, W. L. 1983. A New Approach to Scientific Computation. Academic Press, New York.
19. LAWO, C. 1993. C-XSC A programming environment for verified scientific computing and numerical data processing. In Scientific Computing with Automatic Result Verification. Academic Press, New York, 71-86.
20. LAWSON, C. L., HANSON, R. J., KINCAID, D. R., AND KROGH, F. T. 1979. Algorithm 539: Basic linear algebra subprograms for FORTRAN usage. ACM Trans. Math. Softw. 5, 3, 308-325.
21. LUTHER, W. AND OTTEN, W. 1993. Computation of standard interval functions in multiple-precision interval arithmetic. Tech. Rep. SM-DU-233, Universität Duisburg.
22. MOORE, R. E. 1979. Methods and Applications of Interval Analysis. SIAM, Philadelphia, Pa.
23. NEUMAIER, A. 1990. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, England.
24. WALTER, W. V. 1993a. FORTRAN-XSC: A portable Fortran 90 module library for accurate and reliable scientific computing. Computing Supplementum 9, 265-286. Supplement.
25. WALTER, W. V. 1993b. ACRITH-XSC: A Fortran-like language for verified scientific computing. In Scientific Computing with Automatic Result Verification. Academic Press, New York, 45-70.