by Dongming Wang (Université Pierre et Marie Curie, France)

Dongming Wang has been a senior researcher at CNRS since 1992. He worked previously at the Johannes Kepler University in Austria for four years, after receiving his PhD in 1987 from the Chinese Academy of Sciences. He is recognized for his work and expertise on polynomial elimination and decomposition, automated geometric reasoning, and applications of symbolic computation to differential equations and neural networks. Author of two previous books and co-editor/translator of 13 books and special volumes, Dr Wang has published about 70 papers in professional journals and conference proceedings. He has also been involved in the initiation and organization of a number of academic activities in the areas of symbolic computation and automated reasoning.

With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemented in Maple and Java, contains more than 70 well-documented functions for symbolic elimination and decomposition with polynomial systems and geometric reasoning. The book presents the functionality, implementation, and performance of Epsilon and demonstrates the usefulness of the elimination tool by a number of selected applications, together with many examples and illustrations. The reader will find Epsilon an efficient tool, applicable to a wide range of problems in science, engineering, and industry, and this book an accessible exposition and a valuable reference for elimination theory, methods, and practice.

• 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