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.
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 | ||
| ||
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-9910809887703321 |
|
Wang Dongming
|
||
| London, : Imperial College Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISSAC 2007 : July 29-August, 2007, University of Waterloo, Waterloo, Ontario, Canada : proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation
| ISSAC 2007 : July 29-August, 2007, University of Waterloo, Waterloo, Ontario, Canada : proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation |
| Autore | Wang Dongming |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (394 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Symposium on Symbolic and Algebraic Computation 2007
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation ISSAC '07 International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada - July 29 - August 01, 2007 |
| Record Nr. | UNINA-9910376412003321 |
|
Wang Dongming
|
||
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||