Interval Tools for Computer Aided Proofs in Analysis

  • Ramon E. Moore
Part of the The IMA Volumes in Mathematics and Its Applications book series (IMA, volume 28)


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.


Interval Arithmetic Interval Method Automatic Differentiation Decimal Digit Empty Intersection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    J. Garloff et al., Interval Mathematics-a bibliography, Freiburger Intervall-Berichte 85/6 and 87/2 (331 pp.).Google Scholar
  3. [3]
    O. Aberth, Precise Numerical Analysis, Wm. C. Brown Publ. (with variable-precision software on IBM-PC disks) (1988).MATHGoogle Scholar
  4. [4]
    G. Alefeld and R.D. Grigorieff (EDS.), Fundamentals of Numerical Computation (Computer-oriented Numerical Analysis), Computing Supplementum 2, Springer (1980).MATHGoogle Scholar
  5. [5]
    G. Alefeld and J. Herzberger, Introduction to Interval Computations, Academic Press (1983).MATHGoogle Scholar
  6. [6]
    G. Bohlender, C. Ullrich, J. Wolff von Gudenberg, and L.B. Rall, Pascal-SC. A Computer Language for Scientific Computation, Academic Press (1987).MATHGoogle Scholar
  7. [7]
    J.W. Daniel and R.E. Moore, Computation and Theory in Ordinary Differential Equations, Freeman (1970).MATHGoogle Scholar
  8. [8]
    E.R. Hansen (ed.), Topics in Interval Analysis, Oxford U. Press (1969).MATHGoogle Scholar
  9. [9]
    E.W. Raucher and W.L. Miranker, Self-validating Numerics for Function Space Problems, Academic Press (1984).Google Scholar
  10. [10]
    U.W. Kulisch and W.L. Miranker, Computer Arithmetic in Theory and Practice, Academic Press (1981).MATHGoogle Scholar
  11. [11]
    —, A New Approach to Scientific Computation, Academic Press (1983).MATHGoogle Scholar
  12. [12]
    U.W. Kulisch and H.J. Setter (eds.), Scientific Computation with Automatic Result Verification, Springer (1988).MATHGoogle Scholar
  13. [13]
    V. Lakshmikantham, S. Leela, and A.A. Martynyuk, Stability Analysis of Nonlinear Systems, Marcel Dekker, Inc. (1988).Google Scholar
  14. [14]
    R.E. Moore, Interval Arithmetic and Automatic Error Analysis in Digital Computing, Applied Math, and Stat. Lab. Report No. 25 (1965).Google Scholar
  15. [15]
    —, Interval Analysis, Prentice-Hall (1966).MATHGoogle Scholar
  16. [16]
    —, Mathematical Elements of Scientific Computing, Holt, Rinehart and Winston (1975).MATHGoogle Scholar
  17. [17]
    —, Methods and Applications of Interval Analysis, SIAM Studies in Applied Mathematics (1979).MATHGoogle Scholar
  18. [18]
    —, Computational Functional Analysis, Ellis Horwood and John Wiley (1985).MATHGoogle Scholar
  19. [19]
    — (eds), Reliability in Computing. The Role of Interval Methods in Scientific Computing, Academic Press (1988).MATHGoogle Scholar
  20. [20]
    K. Nickel (ed.), Interval Mathematics, Lecture Notes in Computer Science, No. 29, Springer (1975).MATHGoogle Scholar
  21. [21]
    —, Interval Mathematics 1980, Academic Press (1980).MATHGoogle Scholar
  22. [22]
    —, Interval Mathematics 1985, Lect. Notes in C.S., Springer, No. 212 (1985).Google Scholar
  23. [23]
    L.B. Rall, Automatic Differentiation, Lecture Notes in Computer Science, No. 120, Springer (1981).MATHGoogle Scholar
  24. [24]
    — (EDS.), Error in Digital Computation, Vol. I and II, Wiley (1965).Google Scholar
  25. [25]
    H. Ratschek and J. Rokne, Computer Methods for the Range of Functions, Ellis Horwood and John Wiley (1984).MATHGoogle Scholar
  26. [26]
    —, New Computer Methods for Globel Optimization, Ellis Horwood and John Wiley (1988).Google Scholar
  27. [27]
    F. Krückeberg, Arbitrary accuracy with variable precision arithmetic, In K. Nickel (1985), pp. 95–101.Google Scholar
  28. [28]
    R.E. Moore, Set-valued extensions of integral inequalities, Journal of Integral Equations 5 (1983), pp. 187–198.MathSciNetMATHGoogle Scholar
  29. [29]
    R.D. Neidinger, An efficient method for the numerical evaluation of partial derivatives of arbitrary order, personal communication (March, 1989).Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1991

Authors and Affiliations

  • Ramon E. Moore
    • 1
  1. 1.Department of Computer and Information ScienceOhio State UniversityUSA

Personalised recommendations