Rigorous error analysis of numerical algorithms via symbolic computations

Journal of Symbolic Computation

Volumn 22, Issue 4, 1996, Pages 435-458

  Mrozek, Marian ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030268948     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0061     Document Type: Article

References (22)

1. Alefeld, G., Herzberger, J. (1983). Introduction to Interval Computation, Academic Press.
2. ANSI/IEEE (1985). The IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std 754.
3. Cody, W.J. (1988). Floating Point Standards - Theory and practice, In: Moore, R.E. (ed), Reliability in Computing, Academic Press, 99-107.
4. Bieberbach, L. (1923). Theorie der Differentialgleichungen, Grundlehren Bd.VI, Springer-Verlag.
5. Bieberbach, L. (1951). On the remainder of the Runge-Kutta formula in the theory of ordinary differential equations, Zeitschr. angew. Math. Phys. (ZAMP), 2, 233-248.
6. Eckmann, J.P, Koch, H., Wittwer, P. (1984). A computer-assisted proof of universality for area-preserving maps, Memoirs of the American Mathematical Society 47, 1-121.
7. Hairer, E., Nørsett, S.P., Wanner, G. (1987). Solving Ordinary Differential Equations I, Nonstiff Problems, Berlin: Springer-Verlag.
8. Hartman, Ph. (1964). Ordinary Differential Equations, New York: John Wiley & Sons Inc.
9. Hassard, B., Hastings, S., Troy, W., Zhang, J. (1994). A computer proof that the Lorenz equations have "chaotic" solutions, Appl. Math. Letter, 7, 79-83.
10. Hastings, S.P., Troy, W.C. (1992). A shooting approach to the Lorenz equations, Bulletin (New Series) of the American Mathematical Society 27, 298-303.
11. IEEE (1987). A Radix-Independent Standard of Floating-Point Arithmetic, IEEE Std 854-1987, New York: IEEE.
12. Keiper, J. (1993). Interval arithmetic in Mathematica, Interval Computations, 3, 76-87.
13. Koch, H., Schenkel, A., Wittwer P. (1995). Computer assisted proofs in analysis and programming in logic: a case study, Universite de Geneve, preprint.
14. Lanford, O.E. (1982). Computer assisted proof of the Feigenbaum Conjectures, Bull. AMS(New Series), 6, 427-434.
15. Mischaikow, K., Mrozek, M. (1995a). Chaos in Lorenz equations: a computer assisted proof, Bull. AMS, 32, 66-72.
16. Mischaikow K., Mrozek M. (1995b). Chaos in Lorenz equations: a computer assisted proof, Part II: Details, preprint.
17. Mischaikow K., Mrozek M., Szymczak A. Chaos in Lorenz equations: a computer assisted proof. Part III: The classical case, in preparation.
18. Moore, R.E. (1966). Interval Analysis, Englewood Cliffs, NJ: Prentice-Hall.
19. Mrozek, M. (1996). Topological invariants, multivalued maps and computer assisted proofs, Computers & Mathematics, 32 82-104.
20. Rage, T., Neumaier, A., Schlier, C. (1994). Rigorous verification of chaos in a molecular model, Physical Rev. E, 50 2682-2688.
21. Rump, S.M. (1988). Algorithms for verified inclusions - Theory and practice, In: Moore, R.E. (ed), Reliability in Computing, Academic Press, 109-126.
22. Zgliczyński, P., (1995). A computer assisted proof of chaos in the Rössler equations and the Hénon map, preprint.