|
|
|
ELIMINATION PRACTICE
Software Tools and Applications
(With CD-Rom)
by Dongming Wang (Université Pierre et Marie Curie, France)
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.
Contents:
- 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
Readership: Researchers and graduate students in symbolic mathematical
computation, geometric reasoning and modeling, as well as mathematical software engineers.
“This book is a treasure … it will be welcomed by all those who are active in the area of elimination methods and will also attract new people to the exciting field of elimination methods, which is one of the oldest and, at the same time, one of the most topical areas in mathematics with a high future potential in all other areas of mathematics as well as in a wide range of applications in science, engineering, economy, etc.”
Bruno Buchberger
Professor of Computer Mathematics
Johannes Kepler University, Austria |
| 232pp |
Pub. date: Feb 2004 |
|
|
