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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Methodes Algebriques en Mecanique Statistique [[electronic resource] /] / by J.-P. Eckmann, M. Guenin |
Autore | Eckmann Jean Pierre |
Edizione | [1st ed. 1969.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969 |
Descrizione fisica | 1 online resource (VI, 135 p.) |
Disciplina | 536.7 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Thermodynamics
Statistical physics Dynamical systems Complex Systems Statistical Physics and Dynamical Systems |
ISBN | 3-540-35927-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | mathematique -- Structures fondamentales de la mecanique statistique -- Modeles. |
Record Nr. | UNISA-996466661503316 |
Eckmann Jean Pierre | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|