References

1

B. Buchberger. Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, editor, Multidimensional Systems Theory, pages 184-232. D. Reidel Publishing Company, Dordrecht-Boston-Lancaster, 1985.

2

B. Buchberger. An Implementation of Gröbner Bases in Mathematica. Technical Report RISC-Linz Series 90-58, Univ. Linz, RISC, Linz, Austria, 1990.

3

B. Buchberger. Gröbner Bases in Mathematica: Enthusiasm and Frustration. In P.W. Gaffney and E.N. Houstis, editors, Proc. IFIP TC2/WG2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 1991.

4

B. Buchberger, G. E. Collins, M. J. Encarnacion, H. Hong, Johnson J. R., W. Krandick, R. Loos, A. M. Mandache, A. Neubacher, and H. Vielhaber. SACLIB User's Guide. Technical Report RISC-Linz Series 93-19, Univ. Linz, RISC, Linz, Austria, 1993.

5

A. Giovini, T. Mora, G. Niesi, L. Robbiano, and C. Traverso. ``One sugar cube, please'' or Selection Strategies in the Buchberger Algorithms. In S. M. Watt, editor, Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC 91), pages 49-54, Bonn, July 15-17 1991.

6

Hoon Hong, Andreas Neubacher, and Wolfgang Schreiner. The Design of SACLIB/PACLIB Kernels. In DISCO-93 (Design and Implementation of Symbolic Computation Systems), Gmunden, Austria, 1993. To appear.

7

R. D. Jenks and R. S. Sutor. AXIOM, the Scientific Computation System. Springer Verlag, 1992.

8

H.M. Möller. A Reduction Strategy for the Taylor Resolution. In Proc. EUROCAL'85, Springer Lec. Notes Comp. Sci. 204, pages 526-534, 1985.

9

L. Robbiano. Term Orderings on the Polynomial Ring. In Proc. EUROCAL'85, Springer Lec. Notes Comp. Sci. 204, pages 513-517, 1985.

10

W. Windsteiger. Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. Master's thesis, RISC-Linz, University of Linz, Austria, 1992.

11

W. Windsteiger. GRÖBNER-IO: An Input/Output Libray for GRÖBNER. Technical Report in preparation, RISC-Linz, University of Linz, 1993.