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.
Formal algorithmic elimination for PDEs / Daniel Robertz
| Formal algorithmic elimination for PDEs / Daniel Robertz |
| Autore | Robertz, Daniel |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | VIII, 283 p. ; 24 cm |
| Soggetto topico |
12H05 - Differential algebra [MSC 2020]
16S32 - Rings of differential operators (associative algebraic aspects) [MSC 2020] 35C05 - Solutions to PDEs in closed form [MSC 2020] 13N10 - Commutative rings of differential operators and their modules [MSC 2020] |
| Soggetto non controllato |
Differential algebra
Differential elimination Exact solutions to partial differential equations Janet bases Partial differential equations Thomas decomposition |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0101539 |
Robertz, Daniel
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal algorithmic elimination for PDEs / Daniel Robertz
| Formal algorithmic elimination for PDEs / Daniel Robertz |
| Autore | Robertz, Daniel |
| Edizione | [Cham : Springer, 2014] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
12H05 - Differential algebra [MSC 2020]
16S32 - Rings of differential operators (associative algebraic aspects) [MSC 2020] 35C05 - Solutions to PDEs in closed form [MSC 2020] 13N10 - Commutative rings of differential operators and their modules [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0101539 |
|
Robertz, Daniel
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal algorithmic elimination for PDEs / Daniel Robertz
| Formal algorithmic elimination for PDEs / Daniel Robertz |
| Autore | Robertz, Daniel |
| Pubbl/distr/stampa | Cham [Switzerland] : Springer, c2014 |
| Descrizione fisica | vi, 283 p. ; ill. ; 24 cm |
| Disciplina | 512.94 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 2121 |
| Soggetto topico |
Differential equations, Partial
Elimination |
| ISBN | 9783319114446 |
| Classificazione |
AMS 12H05
AMS 13P10 AMS 16S36 AMS 35-02 LC QA192.R62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction ; Formal methods for PDE systems ; Differential elimination for analytic functions ; Basic principles and supplementary material ; References ; List of algorithms ; List of examples ; Index of notation ; Index |
| Record Nr. | UNISALENTO-991002946249707536 |
|
Robertz, Daniel
|
||
| Cham [Switzerland] : Springer, c2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Formal algorithmic elimination for PDEs [e-book] / Daniel Robertz
| Formal algorithmic elimination for PDEs [e-book] / Daniel Robertz |
| Autore | Robertz, Daniel |
| Pubbl/distr/stampa | Cham [Switzerland] : Springer, 2014 |
| Descrizione fisica | 1 online resource (viii, 283 pages) |
| Disciplina | 512.94 |
| Collana | Lecture notes in mathematics, 1617-9692 ; 2121 |
| Soggetto topico |
Differential equations, Partial
Elimination |
| ISBN | 9783319114453 |
| Classificazione |
AMS 12H05
AMS 13P10 AMS 16S36 AMS 35-02 LC QA192.R62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Formal Methods for PDE Systems -- Differential Elimination for Analytic Functions -- Basic Principles and Supplementary Material -- References -- List of Algorithms -- List of Examples -- Index of Notation -- Index |
| Record Nr. | UNISALENTO-991002946179707536 |
|
Robertz, Daniel
|
||
| Cham [Switzerland] : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||