edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Imprint: Springer,
Date of Publication, Distribution, etc.
1999.
SERIES
Series Title
Algorithms and Computation in Mathematics,
Volume Designation
4
ISSN of Series
1431-1550 ;
CONTENTS NOTE
Text of Note
1. Gröbner Bases, an Introduction -- 2. Symbolic Recipes for Polynomial System Solving -- 3. Lattice Reduction -- 4. Factorisation of Polynomials -- 5. Computations in Associative and Lie Algebras -- 6. Symbolic Recipes for Real Solutions -- 7. Gröbner Bases and Integer Programming -- 8. Working with Finite Groups -- 9. Symbolic Analysis of Differential Equations -- 10. Gröbner Bases for Codes -- 11. Gröbner Bases for Decoding -- Project 1. Automatic Geometry Theorem Proving -- Project 2. The Birkhoff Interpolation Problem -- Project 3. The Inverse Kinematics Problem in Robotics -- Project 4. Quaternion Algebras -- Project 5. Explorations with the Icosahedral Group -- Project 6. The Small Mathieu Groups -- Project 7: The Golay Codes.
0
SUMMARY OR ABSTRACT
Text of Note
This book arose from a series of courses on computer algebra which were given at Eindhoven Technical University. Its chapters present a variety of topics in computer algebra at an accessible (upper undergraduate/graduate) level with a view towards recent developments. For those wanting to acquaint themselves somewhat further with the material, the book also contains seven 'projects', which could serve as practical sessions related to one or more chapters. The contributions focus on topics like Gröbner bases, real algebraic geometry, Lie algebras, factorisation of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, and polyhedral geometry. This book is a must-read for everybody interested in computer algebra.