A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer |
Autore | Eckmann Jean Pierre |
Pubbl/distr/stampa | Providence, R.I., USA : , : American Mathematical Society, , 1984 |
Descrizione fisica | 1 online resource (130 p.) |
Disciplina |
510 s
514/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Hamiltonian systems - Data processing
Mappings (Mathematics) - Data processing Error analysis (Mathematics) |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0699-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 1""""REFERENCES"" |
Record Nr. | UNINA-9910479919703321 |
Eckmann Jean Pierre
![]() |
||
Providence, R.I., USA : , : American Mathematical Society, , 1984 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer |
Autore | Eckmann Jean Pierre |
Pubbl/distr/stampa | Providence, R.I., USA : , : American Mathematical Society, , 1984 |
Descrizione fisica | 1 online resource (130 p.) |
Disciplina |
510 s
514/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Hamiltonian systems - Data processing
Mappings (Mathematics) - Data processing Error analysis (Mathematics) |
ISBN | 1-4704-0699-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNINA-9910788899903321 |
Eckmann Jean Pierre
![]() |
||
Providence, R.I., USA : , : American Mathematical Society, , 1984 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer |
Autore | Eckmann Jean Pierre |
Pubbl/distr/stampa | Providence, R.I., USA : , : American Mathematical Society, , 1984 |
Descrizione fisica | 1 online resource (130 p.) |
Disciplina |
510 s
514/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Hamiltonian systems - Data processing
Mappings (Mathematics) - Data processing Error analysis (Mathematics) |
ISBN | 1-4704-0699-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNINA-9910819096203321 |
Eckmann Jean Pierre
![]() |
||
Providence, R.I., USA : , : American Mathematical Society, , 1984 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|