Bibliography

1

ATTARDI, G., AND FLAGELLA, T.
Memory management in the PoSSo solver.
J. Symbolic Computation 21, 3 (March 1996), 293-312.

2

BAYER, D., AND MUMFORD, D.
What can be computed in algebraic geometry?
Cambridge University Press, Cambridge, 1993, pp. 1-48.

3

BAYER, D., AND STILLMAN, M.
A theorem on refining division orders by the revers lexicographic order.
Duke J. Math. 55 (1987), 321-328.

4

BAYER, D., AND STILLMAN, M.
Macaulay Classic: A computer algebra system for algebraic geometry, 1993.
Available via anonymous ftp from ftp://math.harvard.edu/Macaulay.

5

BJöRCK, G., AND FRöBERG, G.
A faster way to count the solution of inhomogeneous systems of algebraic equations, with applications to cyclic n-roots.
J. Symbolic Computation 12, 3 (September 1991), 329-336.

6

BOEGE, W., GEBAUER, R., AND KREDEL, H.
Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases.
J. Symbolic Computation 2, 1 (March 1986), 83-98.

7

BUCHBERGER, B.
Groebner bases: an algorithmic method in polynomial ideal theory.
D. Reidel Publishing Company, 1985, pp. 184-232.

8

CABOARA, M., DE DOMINICIS, G., AND ROBBIANO, L.
Multigraded Hilbert Functions and Buchberger Algorithm.
In Proc. of the International Symposium on Symbolic and Algebraic Computation (ISSAC'96) (Zurich, Switzerland, July 1996), ACM Press, pp. 72-78.

9

COX, D., LITTLE, J., AND O'SHEA, D.
Ideals, Varieties, and Algorithms, 2nd ed.
Springer-Verlag, 1997.

10

GIOVINI, A., MORA, T., NIESI, G., ROBBIANO, L., AND TRAVERSO, C.
One sugar cube, please or Selection strategies in Buchberger algorithms.
In Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computations, ISSAC'91 (1991), S. Watt, Ed., ACM press, pp. 49-54.

11

GREUEL, G.-M., PFISTER, G., AND SCHöNEMANN, H.
Singular Reference Manual.
In Reports On Computer Algebra, no. 12. Centre for Computer Algebra, University of Kaiserslautern, May 1997.
http://www.mathematik.uni-kl.de/~zca/Singular

12

KAHN, K.
private communications, 1993.

13

KATSURA, W., FUKUDA, S., INAWASHIRO, N., FUJIKI, N. M., AND GEBAUER, R.
Cell Biophysics, vol. 11.
1987, pp. 309-319.

14

PoSSo: Polynomial System Solving, 1995.
http://posso.dm.unipi.it/.

15

ROBBIANO, L.
Term Orderings on the Polynomial Ring.
In Proceedings of EUROCAL 85, Lecture Notes in Computer Science 204 (1985), pp. 513-517.