Info
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 | ||
| ||