Interval Tools for Computer Aided Proofs in Analysis
A brief survey of theory and software implementations of interval and related techniques for computing with machine representable sets is presented with applications to computer aided proofs in analysis. Recent work on variable precision software is discussed.
KeywordsInterval Arithmetic Interval Method Automatic Differentiation Decimal Digit Empty Intersection
Unable to display preview. Download preview PDF.
- G.F. Corliss et al., Bibliography on interval methods for ODEs, Marquette University, Dept. of Math., Stat. & C.S., Tech. Rept. no. 289 (September, 1988).Google Scholar
- J. Garloff et al., Interval Mathematics-a bibliography, Freiburger Intervall-Berichte 85/6 and 87/2 (331 pp.).Google Scholar
- E.W. Raucher and W.L. Miranker, Self-validating Numerics for Function Space Problems, Academic Press (1984).Google Scholar
- V. Lakshmikantham, S. Leela, and A.A. Martynyuk, Stability Analysis of Nonlinear Systems, Marcel Dekker, Inc. (1988).Google Scholar
- R.E. Moore, Interval Arithmetic and Automatic Error Analysis in Digital Computing, Applied Math, and Stat. Lab. Report No. 25 (1965).Google Scholar
- —, Interval Mathematics 1985, Lect. Notes in C.S., Springer, No. 212 (1985).Google Scholar
- — (EDS.), Error in Digital Computation, Vol. I and II, Wiley (1965).Google Scholar
- —, New Computer Methods for Globel Optimization, Ellis Horwood and John Wiley (1988).Google Scholar
- F. Krückeberg, Arbitrary accuracy with variable precision arithmetic, In K. Nickel (1985), pp. 95–101.Google Scholar
- R.D. Neidinger, An efficient method for the numerical evaluation of partial derivatives of arbitrary order, personal communication (March, 1989).Google Scholar