Info
Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang
| Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang |
| Autore | Wang Dongming |
| Pubbl/distr/stampa | London, : Imperial College Press |
| Descrizione fisica | 1 online resource (viii, 222 p. ) : ill. (some col.) |
| Disciplina | 512.9420285 |
| Soggetto topico |
Elimination
Polynomials Algebra - Data processing Computer algorithms Differential equations, Nonlinear |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-86583-4
9786611865832 1-84816-120-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Polynomial Elimination at Work; The Epsilon Library; The CharSets Package; The TriSys and SiSys Modules; The GEOTHER Environment; Relevant Elimination Tools; Solving Polynomial Systems; Automated Theorem Proving and Discovering in Geometry; Symbolic Geometric Computation; Selected Problems in Computer Mathematics |
| Record Nr. | UNINA-9910453899003321 |
Wang Dongming
|
||
| London, : Imperial College Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang
| Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang |
| Autore | Wang Dongming |
| Pubbl/distr/stampa | London, : Imperial College Press |
| Descrizione fisica | 1 online resource (viii, 222 p. ) : ill. (some col.) |
| Disciplina | 512.9420285 |
| Soggetto topico |
Elimination
Polynomials Algebra - Data processing Computer algorithms Differential equations, Nonlinear |
| ISBN |
1-281-86583-4
9786611865832 1-84816-120-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Polynomial Elimination at Work; The Epsilon Library; The CharSets Package; The TriSys and SiSys Modules; The GEOTHER Environment; Relevant Elimination Tools; Solving Polynomial Systems; Automated Theorem Proving and Discovering in Geometry; Symbolic Geometric Computation; Selected Problems in Computer Mathematics |
| Record Nr. | UNINA-9910782134703321 |
|
Wang Dongming
|
||
| London, : Imperial College Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
