Title | Some Tapas of Computer Algebra [electronic resource] / edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk |
---|---|

Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 |

Connect to | http://dx.doi.org/10.1007/978-3-662-03891-8 |

Descript | XIV, 352 p. 2 illus. online resource |

SUMMARY

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

CONTENT

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

Mathematics
Computer science -- Mathematics
Algebra
Algorithms
Combinatorics
Mathematics
Algorithms
Symbolic and Algebraic Manipulation
Algebra
Combinatorics