Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
Autore | Nakao, Mitsuhiro T. |
Edizione | [Singapore : Springer, 2019] |
Pubbl/distr/stampa | xiii, 467 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Altri autori (Persone) |
Plum, Michael
Watanabe, Yoshitaka |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
65-XX - Numerical analysis [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] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0127371 |
Nakao, Mitsuhiro T. | ||
xiii, 467 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Padé Approximants for Operators : Theory and Applications / A. Cuyt |
Autore | Cuyt, Annie |
Pubbl/distr/stampa | Berlin, : Springer, 1984 |
Descrizione fisica | xii, 144 p. ; 24 cm |
Soggetto topico |
41A21 - Padé approximation [MSC 2020]
46J15 - Banach algebras of differentiable or analytic functions, ${H}^p$-spaces [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] 41-XX - Approximations and expansions [MSC 2020] 30G30 - Other generalizations of analytic functions (including abstract-valued functions) [MSC 2020] |
Soggetto non controllato |
Applications
Operator theory Operators |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263389 |
Cuyt, Annie | ||
Berlin, : Springer, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Partial differential equations / J. Wloka ; traduzione di C.B. and M.J. Thomas |
Autore | Wloka, Joseph |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 [stampa 1992] |
Descrizione fisica | XI, 518 p. ; 23 cm. |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
47A53 - (Semi-) Fredholm operators; index theories [MSC 2020] 46E35 - Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems [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] 47Fxx - Partial differential operators [MSC 2020] 35P30 - Nonlinear eigenvalue problems and nonlinear spectral theory for PDEs [MSC 2020] |
ISBN | 978-05-212-7759-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050451 |
Wloka, Joseph | ||
Cambridge, : Cambridge university, 1987 [stampa 1992] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Partial differential equations / J. Wloka ; traduzione di C. B. and M. J. Thomas |
Autore | Wloka, Joseph |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 [stampa 1992] |
Descrizione fisica | XI, 518 p. ; 23 cm |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
47A53 - (Semi-) Fredholm operators; index theories [MSC 2020] 46E35 - Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems [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] 47Fxx - Partial differential operators [MSC 2020] 35P30 - Nonlinear eigenvalue problems and nonlinear spectral theory for PDEs [MSC 2020] |
ISBN | 978-05-212-7759-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0050451 |
Wloka, Joseph | ||
Cambridge, : Cambridge university, 1987 [stampa 1992] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Partial differential equations for scientists and engineers / Stanley J. Farlow |
Autore | Farlow, Stanley J. |
Edizione | [(Unabridged, corrected and enlarged republication)] |
Pubbl/distr/stampa | New York, : Dover, 1993 |
Descrizione fisica | IX, 414 p. ; 22 cm |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35K05 - Heat equation [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] 35A35 - Theoretical approximation in context of PDEs [MSC 2020] 35J05 - Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation [MSC 2020] |
ISBN | 978-04-86676-20-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055883 |
Farlow, Stanley J. | ||
New York, : Dover, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Partial differential equations for scientists and engineers / Stanley J. Farlow |
Autore | Farlow, Stanley J. |
Edizione | [(Unabridged] |
Pubbl/distr/stampa | New York, : Dover, 1993 |
Descrizione fisica | IX, 414 p. ; 22 cm |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35K05 - Heat equation [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] 35A35 - Theoretical approximation in context of PDEs [MSC 2020] 35J05 - Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation [MSC 2020] |
ISBN | 978-04-86676-20-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055883 |
Farlow, Stanley J. | ||
New York, : Dover, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Principles and Procedures of Numerical Analysis / Ferenc Szidarovszky, Sidney Yakowitz |
Autore | Szidarovszky, Ferenc |
Pubbl/distr/stampa | New York, : Springer, 1978 |
Descrizione fisica | xii, 331 p. : ill. ; 24 cm |
Altri autori (Persone) | Yakowitz, Sidney |
Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 65M06 - Finite difference methods for initial value and initial-boundary value problems involving PDEs [MSC 2020] 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] 65Gxx - Error analysis and interval analysis [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] |
Soggetto non controllato |
Numerical Analysis
Optimization Statistics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268222 |
Szidarovszky, Ferenc | ||
New York, : Springer, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quaternionic Analysis and Elliptic Boundary Value Problems / Klaus Gürlebeck, Wolfgang Sprößig |
Autore | Gürlebeck, Klaus |
Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 1990 |
Descrizione fisica | 254 p. ; 24 cm |
Altri autori (Persone) | Sprößig, Wolfgang |
Soggetto topico |
35Q30 - Navier-Stokes equations [MSC 2020]
35-XX - Partial 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] 30G35 - Functions of hypercomplex variables and generalized variables [MSC 2020] 35Qxx - Partial differential equations of mathematical physics and other areas of application [MSC 2020] 35J05 - Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation [MSC 2020] 65N35 - Spectral, collocation and related methods for boundary value problems involving PDEs [MSC 2020] |
Soggetto non controllato | Boundary Value Problems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0253638 |
Gürlebeck, Klaus | ||
Basel, : Birkhäuser, : Springer, 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Reduced basis methods for partial differential equations : an introduction / Alfio Quarteroni, Andrea Manzoni, Federico Negri |
Autore | Quarteroni, Alfio |
Pubbl/distr/stampa | [Cham], : Springer, 2016 |
Descrizione fisica | XI, 296 p. ; 24 cm |
Altri autori (Persone) |
Manzoni, Andrea
Negri, Federico |
Soggetto topico |
65-XX - Numerical analysis [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] 65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 80A19 - Diffusive and convective heat and mass transfer, heat flow [MSC 2020] 80Mxx - Basic methods in thermodynamics and heat transfer [MSC 2020] 80A21 - Radiative heat transfer [MSC 2020] |
Soggetto non controllato |
Computational complexity reduction
Finite element methods Parametrized differential problems Partial differential equations Reduced basis methods Reduced order modeling |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0115312 |
Quarteroni, Alfio | ||
[Cham], : Springer, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Reduced basis methods for partial differential equations : an introduction / Alfio Quarteroni, Andrea Manzoni, Federico Negri |
Autore | Quarteroni, Alfio |
Edizione | [[Cham] : Springer, 2016] |
Descrizione fisica | Pubblicazione in formato elettronico |
Altri autori (Persone) |
Manzoni, Andrea
Negri, Federico |
Soggetto topico |
65-XX - Numerical analysis [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] 65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 80A19 - Diffusive and convective heat and mass transfer, heat flow [MSC 2020] 80Mxx - Basic methods in thermodynamics and heat transfer [MSC 2020] 80A21 - Radiative heat transfer [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0115312 |
Quarteroni, Alfio | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|