next up previous contents
Next: Gröbner bases and Up: AM511b Notes Previous: Key ideas from

References for today's lecture

Much of the material for today has been taken from ``Some examples of problem solving by using the symbolic viewpoint when dealing with polynomial systems of equations'' by Laureano González-Vega, which I have in technical report form (from the University of Cantabria). The full reference is

Laureano Gonzalez-Vega, ``Some Examples of Problem Solving by using the Symbolic Viewpoint when dealing with Polynomial Systems of Equations'', in Computer Algebra in Science and Engineering, J. Fleischer, J. Grabmeier, F. W. Hehl, W. Küchlin, eds World Scientific, 1995, pp. 102--116.

Additional references include the wonderful book Ideals, Varieties, and Algorithms, by Cox, Little and O'Shea. It is in the library here at UWO, and has become one of my favourite texts. It is clear, coherent, deep and refreshing, as well as containing a lot of useful information. In particular, it has all the detailed proofs that I will be leaving out of these lectures.

More pedestrian but perhaps as useful is the book Algorithms for Computer Algebra by Geddes, Czapor, and Labahn. Chapter 10 is on Gröbner bases. Stephen Czapor wrote the grobner package in Maple.

Robert Corless
Tue Mar 12 21:09:19 EST 1996