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