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