Modal interval analysis : new tools for numerical information / Miguel A. Sainz ... [et al.]
| Modal interval analysis : new tools for numerical information / Miguel A. Sainz ... [et al.] |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVI, 316 p. ; 24 cm |
| Soggetto topico |
65F10 - Iterative numerical methods for linear systems [MSC 2020]
65G50 - Roundoff error [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 65G40 - General methods in interval analysis [MSC 2020] |
| Soggetto non controllato |
Intervals
Marks Quantifiers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0101554 |
| Cham, : Springer, 2014 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modal interval analysis : new tools for numerical information / Miguel A. Sainz ... [et al.]
| Modal interval analysis : new tools for numerical information / Miguel A. Sainz ... [et al.] |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVI, 316 p. ; 24 cm |
| Soggetto topico |
03B10 - Classical first-order logic [MSC 2020]
26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65G40 - General methods in interval analysis [MSC 2020] 65G50 - Roundoff error [MSC 2020] |
| Soggetto non controllato |
Intervals
Marks Quantifiers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00101554 |
| Cham, : Springer, 2014 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||