Skip to main content
SpringerLink
Log in

Interval Tools for Computer Aided Proofs in Analysis

  • Chapter
Book cover Computer Aided Proofs in Analysis

Part of the book series: The IMA Volumes in Mathematics and Its Applications ((IMA,volume 28))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. J. Garloff et al., Interval Mathematics-a bibliography, Freiburger Intervall-Berichte 85/6 and 87/2 (331 pp.).

    Google Scholar 

  3. O. Aberth, Precise Numerical Analysis, Wm. C. Brown Publ. (with variable-precision software on IBM-PC disks) (1988).

    MATH  Google Scholar 

  4. G. Alefeld and R.D. Grigorieff (EDS.), Fundamentals of Numerical Computation (Computer-oriented Numerical Analysis), Computing Supplementum 2, Springer (1980).

    MATH  Google Scholar 

  5. G. Alefeld and J. Herzberger, Introduction to Interval Computations, Academic Press (1983).

    MATH  Google Scholar 

  6. G. Bohlender, C. Ullrich, J. Wolff von Gudenberg, and L.B. Rall, Pascal-SC. A Computer Language for Scientific Computation, Academic Press (1987).

    MATH  Google Scholar 

  7. J.W. Daniel and R.E. Moore, Computation and Theory in Ordinary Differential Equations, Freeman (1970).

    MATH  Google Scholar 

  8. E.R. Hansen (ed.), Topics in Interval Analysis, Oxford U. Press (1969).

    MATH  Google Scholar 

  9. E.W. Raucher and W.L. Miranker, Self-validating Numerics for Function Space Problems, Academic Press (1984).

    Google Scholar 

  10. U.W. Kulisch and W.L. Miranker, Computer Arithmetic in Theory and Practice, Academic Press (1981).

    MATH  Google Scholar 

  11. —, A New Approach to Scientific Computation, Academic Press (1983).

    MATH  Google Scholar 

  12. U.W. Kulisch and H.J. Setter (eds.), Scientific Computation with Automatic Result Verification, Springer (1988).

    MATH  Google Scholar 

  13. V. Lakshmikantham, S. Leela, and A.A. Martynyuk, Stability Analysis of Nonlinear Systems, Marcel Dekker, Inc. (1988).

    Google Scholar 

  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. —, Interval Analysis, Prentice-Hall (1966).

    MATH  Google Scholar 

  16. —, Mathematical Elements of Scientific Computing, Holt, Rinehart and Winston (1975).

    MATH  Google Scholar 

  17. —, Methods and Applications of Interval Analysis, SIAM Studies in Applied Mathematics (1979).

    MATH  Google Scholar 

  18. —, Computational Functional Analysis, Ellis Horwood and John Wiley (1985).

    MATH  Google Scholar 

  19. — (eds), Reliability in Computing. The Role of Interval Methods in Scientific Computing, Academic Press (1988).

    MATH  Google Scholar 

  20. K. Nickel (ed.), Interval Mathematics, Lecture Notes in Computer Science, No. 29, Springer (1975).

    MATH  Google Scholar 

  21. —, Interval Mathematics 1980, Academic Press (1980).

    MATH  Google Scholar 

  22. —, Interval Mathematics 1985, Lect. Notes in C.S., Springer, No. 212 (1985).

    Google Scholar 

  23. L.B. Rall, Automatic Differentiation, Lecture Notes in Computer Science, No. 120, Springer (1981).

    MATH  Google Scholar 

  24. — (EDS.), Error in Digital Computation, Vol. I and II, Wiley (1965).

    Google Scholar 

  25. H. Ratschek and J. Rokne, Computer Methods for the Range of Functions, Ellis Horwood and John Wiley (1984).

    MATH  Google Scholar 

  26. —, New Computer Methods for Globel Optimization, Ellis Horwood and John Wiley (1988).

    Google Scholar 

  27. F. Krückeberg, Arbitrary accuracy with variable precision arithmetic, In K. Nickel (1985), pp. 95–101.

    Google Scholar 

  28. R.E. Moore, Set-valued extensions of integral inequalities, Journal of Integral Equations 5 (1983), pp. 187–198.

    MathSciNet  MATH  Google Scholar 

  29. R.D. Neidinger, An efficient method for the numerical evaluation of partial derivatives of arbitrary order, personal communication (March, 1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Ohio State University, USA

    Ramon E. Moore

Authors
  1. Ramon E. Moore
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departments of Mathematics and Computer Science, University of Cincinnati, Cincinnati, OH, 45221, USA

    Kenneth R. Meyer

  2. Department of Computer Science, University of Cincinnati, Cincinnati, OH, 45221, USA

    Dieter S. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag New York Inc.

About this chapter

Cite this chapter

Moore, R.E. (1991). Interval Tools for Computer Aided Proofs in Analysis. In: Meyer, K.R., Schmidt, D.S. (eds) Computer Aided Proofs in Analysis. The IMA Volumes in Mathematics and Its Applications, vol 28. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9092-3_17

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-9092-3_17

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4613-9094-7

  • Online ISBN: 978-1-4613-9092-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation