A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Eckmann Jean Pierre
|
| Titolo: |
A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer
|
| Pubblicazione: | Providence, R.I., USA : , : American Mathematical Society, , 1984 |
| Descrizione fisica: | 1 online resource (130 p.) |
| Disciplina: | 510 s |
| 514/.7 | |
| Soggetto topico: | Hamiltonian systems - Data processing |
| Mappings (Mathematics) - Data processing | |
| Error analysis (Mathematics) | |
| Persona (resp. second.): | KochH (Hans) |
| WittwerP (Peter) | |
| Note generali: | "January 1984, volume 47, number 289 (first of six numbers)." |
| Nota di bibliografia: | Bibliography: pages 121. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | A computer-assisted proof of universality for area-preserving maps |
| ISBN: | 1-4704-0699-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910819096203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Memoirs of the American Mathematical Society ; ; no. 289.