Cover image for Some tapas of computer algebra
Title:
Some tapas of computer algebra
Series:
Algorithms and computation in mathematics ; v.4
Publication Information:
New York, NY : Springer, 1999
Physical Description:
xiv, 352 p. : ill. ; 24 cm.
ISBN:
9783540634805

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010184097 QA155.7.E4 S65 1999 Open Access Book Book
Searching...

On Order

Summary

Summary

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers. (EIDMA is the Research School 'Euler Institute for Discrete Mathematics and its Applications'.) The idea of the courses was to acquaint young mathematicians with algorithms and software for mathemat­ ical research and to enable them to incorporate algorithms in their research. A collection of lecture notes was used at these courses. When discussing these courses in comparison with other kinds of courses one might give in a week's time, Joachim Neubüser referred to our courses as 'tapas'. This denomination underlined that the courses consisted of appe­ tizers for various parts of algorithmic algebra; indeed, we covered such spicy topics as the link between Gröbner bases and integer programming, and the detection of algebraic solutions to differential equations. As a collection, the not es turned out to have some appeal of their own, which is the main reason why the idea came up of transforming them into book form. We feIt however, that the book should be distinguishable from a standard text book on computer algebra in that it retains its appetizing flavour by presenting a variety of topics at an accessible level with a view to recent developments.


Table of Contents

Preface
Chapt. 1 Gröbner Bases, an IntroductionA.M.Cohen
Chapt. 2 Symbolic Recipes for Polynomial System SolvingL.Gonzalez-Vega and F.Rouillier and M.-F.Roy
Chapt. 3 Lattice ReductionF.Beukers
Chapt. 4 Factorization of PolynomialsF.Beukers
Chapt. 5 Computation in Associative and Lie AlgebrasG.Ivanyos and L.Rònyai
Chapt. 6 Symbolic Recipes for Real SolutionsL.Gonzalez-Vega and F.Rouillier and M.-F.Roy and G.Trujillo
Chapt. 7 Gröbner Bases and Integer ProgrammingG.M.Ziegler
Chapt. 8 Working With Finite GroupsH.Cuypers and L.H.Soicher and H.Sterk
Chapt.9 Symbolic Analysis of Differential EquationsM.van der Put
Chapt. 10 Gröbner Bases for CodesM. de Boer and R.Pellikaan
Chapt. 11 Gröbner Bases for DecodingM. de Boer and R.Pellikaan
Project 1 Automatic Geometry Theorem ProvingT.Recio and H.Sterk and M.P.Vèlez
Project 2 The Birkhoff Interpolation ProblemM.-J. Gonzalez-Lopez and L.Gonzalez-Vega
Project 3 The Inverse Kinematics Problem in RoboticsM.-J.Gonzalez-Lopez and L.Gonzalez-Vega
Project 4 Quaternion AlgebrasG.Ivanyos, L. Rònyai
Project 5 Explorations with the Icosahedral GroupA.M.Cohen and H.Cuypers and R.Riebeek
Project 6 The Small Mathieu GroupsH.Cuypers and L.H.Soicher and H.Sterk
Project 7 The Golay CodesM. de Boer and R.Pellikaan