TY  - BOOK
AU  - Eckmann,Jean-Pierre
AU  - Koch,Hans
AU  - Wittwer,Peter
TI  - Computer-Assisted Proof of Universality for Area-Preserving Maps
T2  - Memoirs of the American Mathematical Society
SN  - 9781470406998
AV  - QA614.83 -- .E25 1984eb 
U1  - 510 s;514/.7 
PY  - 1984///
CY  - Providence
PB  - American Mathematical Society
KW  - Hamiltonian systems -- Data processing
KW  - Mappings (Mathematics) -- Data processing
KW  - Error analysis (Mathematics)
KW  - Electronic books
N1  - Intro -- TABLE OF CONTENTS -- INTRODUCTION -- PART I. ANALYSIS OF DOUBLING -- 1. Feigenbaum universality for area-preserving maps -- 2. Generating functions -- 3. Further reduction of the problem -- 4. Spectral properties -- 5. Construction of the operator L -- 6. Construction of the doubling operator -- PART II. FUNCTIONAL ANALYSIS ON THE COMPUTER -- 1. Internal and neighborhood arithmetics -- 2. Spectral theory -- 3. Internal and neighborhood arithmetics on a computer -- List of correspondences -- PART III. PROOFS -- 1. Computer program -- 2. Program output -- Table 1 -- REFERENCES
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3113731
ER  -