Newsgroups: sci.math
From: steele@isis.cgd.ucar.edu (Alfred Steele)
Subject: Re: Grobner basis reference
Date: Mon, 7 Sep 1992 19:21:55 GMT

In article <9225121.16847@mulga.cs.mu.OZ.AU> ross@ecr.mu.oz.au (Ross McAree) writes:
|>Could someone please supply me with a good reference for
|>so called Grobner basis calculations. 
|>
|>Ross.
|>


Message 3/4  From Allan Adler                          Sep 5 '92 at 2:44 am -240


Date: Sat, 5 Sep 92 02:44:45 -0400


Groebner bases are explained in a lot of places. E.g.

(1) ALGEBRAIC COMPUTING WITH REDUCE by M.MacCallum and F.Wright
(2) probably in the tex file that accompanies the REDUCE Groebner basis
    package. You can get it free from reduce-netlib@rand.org by sending
    the message:
    send groebner.tex from documents
    send reduce.sty from documents
(3) Buchberger, "Groebner bases: an algorithmic method in polynomial ideal
    theory." In: Progress, directions and open problems in multidimensional
    sysytems theory, edited by N.K.Bose, pp.184-232 (1985) Reidel, Dordrecht
(4) J.H.Davenport, Y.Siret and E.TOurnier (1988) COmputer algebra: systems
    and algorithms for algebraic computation, Academic PRess, London
(5) David Bayer's thesis
(6) Maybe the Macaulay manual, but I'm not sure.