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.
1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.]
| 1: Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1993 |
| Descrizione fisica | xv, 337 p. : ill. ; 24 cm |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 65D25 - Numerical differentiation [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] 65G30 - Interval and finite arithmetic [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65K05 - Numerical mathematical programming methods [MSC 2020] 65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algorithms
Automatic Result Verification Numerical Analysis Numerics Optimization Program verification Programming Scientific Computing Self-Verifying Numerics Simplification Simplification of Programming Verification Verified Computing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00290605 |
| Berlin [etc.], : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Differential operators with constant coefficients / Lars Hörmander
| 2: Differential operators with constant coefficients / Lars Hörmander |
| Autore | Hörmander, Lars |
| Edizione | [2. rev. printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1990 |
| Descrizione fisica | VIII, 390 p. ; 24 cm. |
| Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35P05 - General topics in linear spectral theory for PDEs [MSC 2020] 35G10 - Initial value problems for linear higher-order PDEs [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 35B45 - A priori estimates in context of PDEs [MSC 2020] 35P25 - Scattering theory for PDEs [MSC 2020] 35L05 - Wave equation [MSC 2020] 35E05 - Fundamental solutions to PDEs and systems of PDEs with constant coefficients [MSC 2020] 32Txx - Pseudoconvex domains [MSC 2020] 35G05 - Linear higher-order PDEs [MSC 2020] 47A40 - Scattering theory of linear operators [MSC 2020] 35B65 - Smoothness and regularity of solutions to PDEs [MSC 2020] 42A38 - Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type [MSC 2020] 35A01 - Existence problems for PDEs: global existence, local existence, non-existence [MSC 2020] 35A02 - Uniqueness problems for PDEs: global uniqueness, local uniqueness, non-uniqueness [MSC 2020] |
| ISBN | 978-35-401-2139-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056315 |
Hörmander, Lars
|
||
| Berlin, : Springer, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Differential operators with constant coefficients / Lars Hörmander
| 2: Differential operators with constant coefficients / Lars Hörmander |
| Autore | Hörmander, Lars |
| Edizione | [2. rev. printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1990 |
| Descrizione fisica | VIII, 390 p. ; 24 cm |
| Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35P05 - General topics in linear spectral theory for PDEs [MSC 2020] 35G10 - Initial value problems for linear higher-order PDEs [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 35B45 - A priori estimates in context of PDEs [MSC 2020] 35P25 - Scattering theory for PDEs [MSC 2020] 35L05 - Wave equation [MSC 2020] 35E05 - Fundamental solutions to PDEs and systems of PDEs with constant coefficients [MSC 2020] 32Txx - Pseudoconvex domains [MSC 2020] 35G05 - Linear higher-order PDEs [MSC 2020] 47A40 - Scattering theory of linear operators [MSC 2020] 35B65 - Smoothness and regularity of solutions to PDEs [MSC 2020] 42A38 - Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type [MSC 2020] 35A01 - Existence problems for PDEs: global existence, local existence, non-existence [MSC 2020] 35A02 - Uniqueness problems for PDEs: global uniqueness, local uniqueness, non-uniqueness [MSC 2020] |
| ISBN | 978-35-401-2139-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056315 |
|
Hörmander, Lars
|
||
| Berlin, : Springer, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Differential operators with constant coefficients / Lars Hörmander
| 2: Differential operators with constant coefficients / Lars Hörmander |
| Autore | Hörmander, Lars |
| Edizione | [2. rev. printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1990 |
| Descrizione fisica | VIII, 390 p. ; 24 cm |
| Soggetto topico |
32Txx - Pseudoconvex domains [MSC 2020]
35-XX - Partial differential equations [MSC 2020] 35A01 - Existence problems for PDEs: global existence, local existence, non-existence [MSC 2020] 35A02 - Uniqueness problems for PDEs: global uniqueness, local uniqueness, non-uniqueness [MSC 2020] 35B45 - A priori estimates in context of PDEs [MSC 2020] 35B65 - Smoothness and regularity of solutions to PDEs [MSC 2020] 35E05 - Fundamental solutions to PDEs and systems of PDEs with constant coefficients [MSC 2020] 35G05 - Linear higher-order PDEs [MSC 2020] 35G10 - Initial value problems for linear higher-order PDEs [MSC 2020] 35L05 - Wave equation [MSC 2020] 35P05 - General topics in linear spectral theory for PDEs [MSC 2020] 35P25 - Scattering theory for PDEs [MSC 2020] 42A38 - Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type [MSC 2020] 47A40 - Scattering theory of linear operators [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] |
| ISBN | 978-35-401-2139-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00056315 |
|
Hörmander, Lars
|
||
| Berlin, : Springer, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in the numerical analysis of differential equations / Arieh Iserles
| A first course in the numerical analysis of differential equations / Arieh Iserles |
| Autore | Iserles, Arieh |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1996 |
| Descrizione fisica | XVI, 378 p. : ill. ; 26 cm. |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Lxx - Numerical methods for ordinary differential equations [MSC 2020] 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] 65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] |
| ISBN | 978-05-215-5655-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0033595 |
|
Iserles, Arieh
|
||
| Cambridge, : Cambridge university, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in the numerical analysis of differential equations / Arieh Iserles
| A first course in the numerical analysis of differential equations / Arieh Iserles |
| Autore | Iserles, Arieh |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1996 |
| Descrizione fisica | XVI, 378 p. : ill. ; 26 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Lxx - Numerical methods for ordinary differential equations [MSC 2020] 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] 65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] |
| ISBN | 978-05-215-5655-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0033595 |
|
Iserles, Arieh
|
||
| Cambridge, : Cambridge university, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in the numerical analysis of differential equations / Arieh Iserles
| A first course in the numerical analysis of differential equations / Arieh Iserles |
| Autore | Iserles, Arieh |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1996 |
| Descrizione fisica | XVI, 378 p. : ill. ; 26 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65Lxx - Numerical methods for ordinary differential equations [MSC 2020] 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] 65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] |
| ISBN | 978-05-215-5655-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00033595 |
|
Iserles, Arieh
|
||
| Cambridge, : Cambridge university, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart
| Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart |
| Autore | Stewart, Gilbert W. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XII, 245 p. ; 25 cm. |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
41-XX - Approximations and expansions [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65F15 - Numerical computation of eigenvalues and eigenvectors of matrices [MSC 2020] 65D07 - Numerical computation using splines [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] |
| ISBN |
08-987140-4-4
978-16-11-97142-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0046885 |
|
Stewart, Gilbert W.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart
| Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart |
| Autore | Stewart, Gilbert W. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XII, 245 p. ; 25 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
41-XX - Approximations and expansions [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65F15 - Numerical computation of eigenvalues and eigenvectors of matrices [MSC 2020] 65D07 - Numerical computation using splines [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] |
| ISBN |
08-987140-4-4
978-16-11-97142-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0046885 |
|
Stewart, Gilbert W.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart
| Afternotes goes to graduate school : lectures on advanced numerical analysis : a series of lectures on advanced numerical analysis presented at the University of Maryland at College Park and recorded after the fact / G. W. Stewart |
| Autore | Stewart, Gilbert W. |
| Pubbl/distr/stampa | Philadelphia, : SIAM, 1998 |
| Descrizione fisica | XII, 245 p. ; 25 cm |
| Soggetto topico |
41-XX - Approximations and expansions [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 65D07 - Numerical computation using splines [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] 65F10 - Iterative numerical methods for linear systems [MSC 2020] 65F15 - Numerical computation of eigenvalues and eigenvectors of matrices [MSC 2020] 65H10 - Numerical computation of solutions to systems of equations [MSC 2020] |
| ISBN |
08-987140-4-4
978-16-11-97142-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00046885 |
|
Stewart, Gilbert W.
|
||
| Philadelphia, : SIAM, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
65H10 - Numerical computation of solutions to systems of equations [MSC 2020]
(73)
- 65-XX - Numerical analysis [MSC 2020] (31)
- 65F10 - Iterative numerical methods for linear systems [MSC 2020] (18)
- 35-XX - Partial differential equations [MSC 2020] (10)
- 65F05 - Direct numerical methods for linear systems and matrix inversion [MSC 2020] (10)