<strong>Algorithmic Algebra</strong> studies some of the main algorithmic tools of computeralgebra covering such topics as Grbner bases characteristic sets resu... » 

Algorithmic Algebra studies some of the main algorithmic tools of computeralgebra covering such topics as Grbner bases characteristic sets resultantsand semialgebraic sets. The main purpose of the book is to acquaint advancedundergraduate and graduate students in computer science engineering andmathematics with the algorithmic ideas in computer algebra so that they coulddo research in computational algebra or understand the algorithms underlyingmany popular symbolic computational systems Mathematica Maple or Axiom forinstance. Also researchers in robotics solid modeling computational geometryand automated theorem proving community may find it useful as symbolicalgebraic techniques have begun to play an important role in these areas. Thebook while being selfcontained is written at an advanced level and dealswith the subject at an appropriate depth. The book is accessible to computerscience students with no previous algebraic training. Some mathematicalreaders on the other hand may find it interesting to see how algorithmicconstructions have been used to provide fresh proofs for some classicaltheorems. The book also contains a large number of exercises with solutions toselected exercises thus making it ideal as a textbook or for selfstudy. «