Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Wang Dongming
|
| Titolo: |
Elimination practice [[electronic resource] ] : software tools and applications / / Dongming Wang
|
| Pubblicazione: | London, : Imperial College Press |
| Singapore ; ; River Edge, NJ, : Distributed by World Scientific, c2004 | |
| 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. |
| 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 |
| Titolo autorizzato: | Elimination practice |
| ISBN: | 1-281-86583-4 |
| 9786611865832 | |
| 1-84816-120-4 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910453899003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |