Elimination Practice: Software Tools and Applications (Google eBook)

Front Cover
Imperial College Press, Jan 1, 2004 - Computers
0 Reviews
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.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Polynomial Elimination at Work
1
The Epsilon Library
15
The CharSets Package
28
The TriSys and SiSys Modules
50
The GEOTHER Environment
66
Relevant Elimination Tools
82
Solving Polynomial Systems
95
Automated Theorem Proving and Discovering in Geometry
115
Symbolic Geometric Computation
144
Selected Problems in Computer Mathematics
177
50 Test Examples
200
References
207
lndex
215
Copyright

Common terms and phrases

References to this book

Bibliographic information