Self-validating methods

Linear Algebra and Its Applications

Volumn 324, Issue 1-3, 2001, Pages 3-13

  Rump, Siegfried M ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035628958     PISSN: 00243795     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0024-3795(00)00195-6     Document Type: Article

References (14)

1. Alfred G., Herzberger J. Introduction to Interval Computations. 1983;Academic Press, New York.
2. B.M. Brown, D.K.R. McCormack, A. Zettl, On a computer assisted proof of eigenvalues below the essential spectrum of the Sturm-Liouville problem, Proc. Roy. Soc. London 455 (1999) 2229-2234.
3. C. Camacho, L.H. de Figueiredo, The dynamics of the Jouanolou foliation on the complex project 2-space, Ergod. Theory Dynam. Syst., to appear.
4. J.-P. Eckmann, P. Wittwer, Computer Methods and Borel Summability Applied Feigenbaum's Equation, Lecture Notes in Physics, vol. 227, Springer, Berlin, 1985.
5. T.C. Hales, The Kepler conjecture, Manuscript, 1998, http://www.math.lsa.umich.edu/ hales/countdown/.
6. Hansen E.R. Global optimization using interval analysis - the one-dimensional case. J. Optim. Theory Appl. 29:1979;331-334.
7. Hass J., Hutchings M., Schlafly R. The double bubble conjecture. Elec. Res. Announ. Amer. Math. Soc. 1(3):1995;98-102.
8. J. Herzberger (Ed.), Topics in Validated Computations - Studies in Computational Mathematics, Elsevier, Amsterdam, 1994.
9. MATLAB User's Guide, Version 5, The MathWorks Inc., 1997.
10. Mischaikow K., Mrozek M. Chaos in the Lorenz equations: a computer assisted proof. Part II: Detailed. Math. Comput. 67:1956;1023-1046.
11. Moore R.E. Methods and Applications of Interval Analysis. 1979;SIAM, Philadelphia, PA.
12. A. Neumaier, Interval Metjods for Systems of Equations, Encylopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1990.
13. Neumaier A., Rage Th. Rigorous chaos verification in discrete dynamical systems. Physica D. 67:1993;327-346.
14. S.M. Rump, INTLAB - INTerval LABoratory. in: Tibor Csendes (Ed.), Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, 1999, pp. 77-104.