Preview
Unable to display preview. Download preview PDF.
References
Collet, P., Eckmann, J.P.: Iterated Maps on the Interval as Dynamical Systems (Birkhäuser, Boston) (1980)
Eckmann, J.P., Koch, H., Wittwer, P.: (1984) A computer-assisted proof of universality for area preserving maps Memoirs AMS 47 (1984)
Eckmann, J.P., Wittwer, P.: Computer Methods and Bored Summability Applied to Feigenbaum's Equation (Springer, Berlin Heidelberg) Springer Lecture Notes in Physics Vol 227 (1985)
Fefferman, C., de la Llave, R.: Relativistic stability of matter I Rev. Mat. Iber. 2 (1986) 119–213
Koch, H., Wittwer, P.: A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories Commun. Math. Phys. 106 (1986) pp 495–532
Lanford, O.E.: A computer-assisted proof of the Feigenbaum conjectures Bull. Amer. Math. Soc., New Series 6 (1982) pp 427–434
de la Llave, R.: Computer assisted proofs of stability of matter, in Mayer and Schmidt (1991) (1991) pp 116–126
de la Llave, R., Rana, D.: Accurate strategies for small divisor problems Bull. Amer. Math. Soc., New Series 22 (1990) pp 85–90
de la Llave, R., Rana, D.: Accurate strategies for K.A.M. bounds and their implementations, in Mayer and Schmidt (1991) (1991) pp 127–146
MacKay, R.S., Percival, I.C.: Converse KAM: theory and practice Commun. Math. Phys. 98 (1985) pp 469–512
Mayer, K.R., Schmidt, D.S.: (eds) Computer Aided Proofs in Analysis (Springer, New York) (1991)
Mestel. B.D.: A computer assisted proof of universality for cubic critical maps of the circle with golden mean rotation number (Ph. D. Thesis, Mathematics Department, University of Warwick) (1985)
Moore, R.E.: Interval Analysis (Prentice-Hall, Englewood Cliffs) (1966)
Moore, R.E.: Methods and Applications of Interval Analysis (SIAM, Philadelphia) (1979)
Seco, L.A.: Computer assisted lower bounds for atomic energies, in Mayer and Schmidt (1991) (1991) pp 241–251
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag
About this paper
Cite this paper
Lanford, O.E. (1992). Computer assisted proofs. In: Gausterer, H., Lang, C.B. (eds) Computational Methods in Field Theory. Lecture Notes in Physics, vol 409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55997-3_30
Download citation
DOI: https://doi.org/10.1007/3-540-55997-3_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55997-9
Online ISBN: 978-3-540-47338-1
eBook Packages: Springer Book Archive