Elimination practice: software tools and applications (with cd-rom)
Auteur :
Wang, Dongming
Éditeur :
Imperial College Press
ISBN :
9781860944383
Date de publication :
23 févr. 2004
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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