|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910782134703321 |
|
|
Autore |
Wang Dongming |
|
|
Titolo |
Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Imperial College Press |
|
Singapore ; ; River Edge, NJ, : Distributed by World Scientific, c2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-281-86583-4 |
9786611865832 |
1-84816-120-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (viii, 222 p. ) : ill. (some col.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Elimination |
Polynomials |
Algebra - Data processing |
Computer algorithms |
Differential equations, Nonlinear |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
One CD-ROM in loose pocket inside item. |
Formerly CIP. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [207]-213) and index. |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|
|
|
|