02611nam 2200601 450 991047991970332120170918220641.01-4704-0699-3(CKB)3360000000464473(EBL)3113731(SSID)ssj0000973322(PQKBManifestationID)11611893(PQKBTitleCode)TC0000973322(PQKBWorkID)10959897(PQKB)11042947(MiAaPQ)EBC3113731(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 1""""REFERENCES""Memoirs of the American Mathematical Society ;no. 289.Hamiltonian systemsData processingMappings (Mathematics)Data processingError analysis (Mathematics)Electronic books.Hamiltonian systemsData processing.Mappings (Mathematics)Data processing.Error analysis (Mathematics)510 s514/.7Eckmann Jean Pierre45833Koch H(Hans),Wittwer P(Peter),MiAaPQMiAaPQMiAaPQBOOK9910479919703321A computer-assisted proof of universality for area-preserving maps2172953UNINA