Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Interval analysis : and automatic result verification / / Günter Mayer
| Interval analysis : and automatic result verification / / Günter Mayer |
| Autore | Mayer Günter |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (518 pages) |
| Disciplina | 511.42 |
| Collana | De Gruyter Studies in Mathematics |
| Soggetto topico | Interval analysis (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-049805-7
3-11-049946-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- 1. Preliminaries -- 2. Real intervals -- 3. Interval vectors, interval matrices -- 4. Expressions, P-contraction, ε-inflation -- 5. Linear systems of equations -- 6. Nonlinear systems of equations -- 7. Eigenvalue problems and related ones -- 8. Automatic differentiation -- 9. Complex intervals -- Final Remarks -- Appendix -- A. Proof of the Jordan normal form -- B. Two elementary proofs of Brouwer's fixed point theorem -- C. Proof of the Newton-Kantorovich Theorem -- D. Convergence proof of the row cyclic Jacobi method -- E. The CORDIC algorithm -- F. The symmetric solution set - a proof of Theorem 5.2.6 -- G. A short introduction to INTLAB -- Bibliography -- Symbol Index -- Author Index -- Subject Index |
| Record Nr. | UNINA-9910466001203321 |
Mayer Günter
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interval analysis : and automatic result verification / / Günter Mayer
| Interval analysis : and automatic result verification / / Günter Mayer |
| Autore | Mayer Günter |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (518 pages) |
| Disciplina | 511.42 |
| Collana | De Gruyter Studies in Mathematics |
| Soggetto topico | Interval analysis (Mathematics) |
| ISBN |
3-11-049805-7
3-11-049946-0 |
| Classificazione | SK 910 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- 1. Preliminaries -- 2. Real intervals -- 3. Interval vectors, interval matrices -- 4. Expressions, P-contraction, ε-inflation -- 5. Linear systems of equations -- 6. Nonlinear systems of equations -- 7. Eigenvalue problems and related ones -- 8. Automatic differentiation -- 9. Complex intervals -- Final Remarks -- Appendix -- A. Proof of the Jordan normal form -- B. Two elementary proofs of Brouwer's fixed point theorem -- C. Proof of the Newton-Kantorovich Theorem -- D. Convergence proof of the row cyclic Jacobi method -- E. The CORDIC algorithm -- F. The symmetric solution set - a proof of Theorem 5.2.6 -- G. A short introduction to INTLAB -- Bibliography -- Symbol Index -- Author Index -- Subject Index |
| Record Nr. | UNINA-9910792705603321 |
|
Mayer Günter
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interval analysis : and automatic result verification / / Günter Mayer
| Interval analysis : and automatic result verification / / Günter Mayer |
| Autore | Mayer Günter |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (518 pages) |
| Disciplina | 511.42 |
| Collana | De Gruyter Studies in Mathematics |
| Soggetto topico | Interval analysis (Mathematics) |
| ISBN |
3-11-049805-7
3-11-049946-0 |
| Classificazione | SK 910 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- 1. Preliminaries -- 2. Real intervals -- 3. Interval vectors, interval matrices -- 4. Expressions, P-contraction, ε-inflation -- 5. Linear systems of equations -- 6. Nonlinear systems of equations -- 7. Eigenvalue problems and related ones -- 8. Automatic differentiation -- 9. Complex intervals -- Final Remarks -- Appendix -- A. Proof of the Jordan normal form -- B. Two elementary proofs of Brouwer's fixed point theorem -- C. Proof of the Newton-Kantorovich Theorem -- D. Convergence proof of the row cyclic Jacobi method -- E. The CORDIC algorithm -- F. The symmetric solution set - a proof of Theorem 5.2.6 -- G. A short introduction to INTLAB -- Bibliography -- Symbol Index -- Author Index -- Subject Index |
| Record Nr. | UNINA-9910808208403321 |
|
Mayer Günter
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||