02674nam 2200673Ia 450 991045389900332120200520144314.01-281-86583-497866118658321-84816-120-4(CKB)1000000000537723(StDuBDS)AH24682540(SSID)ssj0000145458(PQKBManifestationID)11147609(PQKBTitleCode)TC0000145458(PQKBWorkID)10182044(PQKB)11675159(MiAaPQ)EBC1681430(WSP)0000P318(Au-PeEL)EBL1681430(CaPaEBR)ebr10255930(CaONFJC)MIL186583(OCoLC)879025346(EXLCZ)99100000000053772320040519d2004 uy 0engur|||||||||||txtccrElimination practice[electronic resource] software tools and applications /Dongming WangLondon Imperial College Press ;Singapore ;River Edge, NJ Distributed by World Scientificc20041 online resource (viii, 222 p. ) ill. (some col.)One CD-ROM in loose pocket inside item.Formerly CIP.Uk1-86094-438-8 Includes bibliographical references (p. [207]-213) and index.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 MathematicsPolynomial 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 MathematicsEliminationPolynomialsAlgebraData processingComputer algorithmsDifferential equations, NonlinearElectronic books.Elimination.Polynomials.AlgebraData processing.Computer algorithms.Differential equations, Nonlinear.512.9420285Wang Dongming738655MiAaPQMiAaPQMiAaPQBOOK9910453899003321Elimination practice2144926UNINA