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.

Tue Mar 12 21:09:19 EST 1996