LEADER 02562nam  2200589   450 
001 9910788899903321
005 20220519062340.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(RPAM)3297005
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   $aTABLE 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.
410  0$aMemoirs of the American Mathematical Society ;$vno. 289.
606   $aHamiltonian systems$xData processing
606   $aMappings (Mathematics)$xData processing
606   $aError analysis (Mathematics)
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   $a9910788899903321
996   $aA computer-assisted proof of universality for area-preserving maps$93764224
997   $aUNINA