LEADER 02611nam 2200601 450 001 9910479919703321 005 20170918220641.0 010 $a1-4704-0699-3 035 $a(CKB)3360000000464473 035 $a(EBL)3113731 035 $a(SSID)ssj0000973322 035 $a(PQKBManifestationID)11611893 035 $a(PQKBTitleCode)TC0000973322 035 $a(PQKBWorkID)10959897 035 $a(PQKB)11042947 035 $a(MiAaPQ)EBC3113731 035 $a(PPN)195411714 035 $a(EXLCZ)993360000000464473 100 $a19831103d1984 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 12$aA computer-assisted proof of universality for area-preserving maps /$fJ.-P. Eckmann, H. Koch, and P. Wittwer 210 1$aProvidence, R.I., USA :$cAmerican Mathematical Society,$d1984. 215 $a1 online resource (130 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vnumber 289 (Jan. 1984) 300 $a"January 1984, volume 47, number 289 (first of six numbers)." 311 $a0-8218-2289-6 320 $aBibliography: pages 121. 327 $a""TABLE OF CONTENTS""; ""INTRODUCTION""; ""PART I. ANALYSIS OF DOUBLING""; ""1. Feigenbaum universality for areaa???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"" 327 $a""Table 1""""REFERENCES"" 410 0$aMemoirs of the American Mathematical Society ;$vno. 289. 606 $aHamiltonian systems$xData processing 606 $aMappings (Mathematics)$xData processing 606 $aError analysis (Mathematics) 608 $aElectronic books. 615 0$aHamiltonian systems$xData processing. 615 0$aMappings (Mathematics)$xData processing. 615 0$aError analysis (Mathematics) 676 $a510 s 676 $a514/.7 700 $aEckmann$b Jean Pierre$045833 702 $aKoch$b H$g(Hans), 702 $aWittwer$b P$g(Peter), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910479919703321 996 $aA computer-assisted proof of universality for area-preserving maps$92172953 997 $aUNINA