Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 (Tek) 9/28/84 based on 9/17/84; site tekchips.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxb!mhuxn!mhuxm!mhuxj!houxm!vax135!cornell!uw-beaver!tektronix!tekcrl!tekchips!abdali From: abdali@tekchips.UUCP (Kamal Abdali) Newsgroups: net.math.symbolic Subject: Buchberger Algorithm wanted Message-ID: <275@tekchips.UUCP> Date: Fri, 8-Feb-85 16:11:24 EST Article-I.D.: tekchips.275 Posted: Fri Feb 8 16:11:24 1985 Date-Received: Sun, 10-Feb-85 06:41:36 EST Organization: Tektronix, Beaverton OR Lines: 12 Does anyone have a Macsyma or Reduce implementation of Buchberger algorithm for determining Groebner bases? We are aware of the SAC-2 implementation offered by the University of Heidelberg. uucp: {ucbvax,decvax,ihnp4,allegra,uw-beaver,hplabs} !tektronix!tekchips!abdali ARPAnet: abdali.tektronix@csnet-relay US Mail: Kamal Abdali Computer Research Lab Tektronix, Inc. P.O. Box 500 , MS 50-662 Beaverton, OR 97077