Next: Appendix A: Benchmark examples
Up: Monomial Representations for Gröbner Computations
Previous: 6 Acknowledgments
- 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.
| ZCA Home |
Reports |