02562nam 2200589 450 991078889990332120220519062340.01-4704-0699-3(CKB)3360000000464473(EBL)3113731(SSID)ssj0000973322(PQKBManifestationID)11611893(PQKBTitleCode)TC0000973322(PQKBWorkID)10959897(PQKB)11042947(MiAaPQ)EBC3113731(RPAM)3297005(PPN)195411714(EXLCZ)99336000000046447319831103d1984 uy| 0engur|n|---|||||txtccrA computer-assisted proof of universality for area-preserving maps /J.-P. Eckmann, H. Koch, and P. WittwerProvidence, R.I., USA :American Mathematical Society,1984.1 online resource (130 p.)Memoirs of the American Mathematical Society,0065-9266 ;number 289 (Jan. 1984)"January 1984, volume 47, number 289 (first of six numbers)."0-8218-2289-6 Bibliography: pages 121.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 1REFERENCES.Memoirs of the American Mathematical Society ;no. 289.Hamiltonian systemsData processingMappings (Mathematics)Data processingError analysis (Mathematics)Hamiltonian systemsData processing.Mappings (Mathematics)Data processing.Error analysis (Mathematics)510 s514/.7Eckmann Jean Pierre45833Koch H(Hans),Wittwer P(Peter),MiAaPQMiAaPQMiAaPQBOOK9910788899903321A computer-assisted proof of universality for area-preserving maps3764224UNINA