Bird's-eye view of Gröbner bases

Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Volumn 389, Issue 1-2, 1997, Pages 16-21

  Heck, André ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DIFFERENTIAL EQUATIONS; POLYNOMIALS; PROBLEM SOLVING;

BUCHBERGER ALGORITHM; GROBNER BASIS THEORY;

COMPUTATION THEORY;

EID: 0031119589     PISSN: 01689002     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-9002(97)00032-6     Document Type: Article

References (24)

1. W. Adams and P. Lousraunau, An Introduction to Gröbner Bases, Graduate Studies in Math., Vol. 3, AMS (Oxford University Press, 1994).
2. I. Ajwa, Z. Liu and P. Wang, Gröbner Bases Algorithm, ICM Technical Reports Series (ICM-199502-00), 1995, available by WWW at URL http://symbolicnet.mcs.kent.edu.
3. T. Becker and V. Weispfenning, Gröbner Bases: A Computational Approach to Commutative Algebra (Springer, 1993).
4. E. Becker, M. Marinari, T. Mora and C. Traverso, The shape of the Shape Lemma, in: Proc. ISSAC'94 (ACM Press, 1994) p. 129.
5. B. Buchberger, An Algorithm for Finding a Basis for a Residue Class Ring of a Zero-Dimensional Polynomial Ideal, Ph.D. Thesis, Univ. of Innsbruck (Austria), 1965 (in German).
6. B. Buchberger, Gröbner Bases: An algorithmic method in polynomial ideal theory, in: N.K. Bose, ed., Multidimensional Systems Theory (Reidel, Dordrecht, 1985) p. 184.
7. B. Buchberger, Applications of Gröbner bases in non-linear computational geometry, in: J.R. Rice, ed., Mathematical Aspects of Scientific Software, IMA Volume in Mathematics and its Applications 14 (Springer, 1988) p. 59. Reprinted in: D. Kapur, J.L. Mundy, eds., Geometric Reasoning (MIT Press, 1989) p. 413.
8. B. Buchberger, Applications of Gröbner bases in non-linear computational geometry, in: J.R. Rice, ed., Mathematical Aspects of Scientific Software, IMA Volume in Mathematics and its Applications 14 (Springer, 1988) p. 59. Reprinted in: D. Kapur, J.L. Mundy, eds., Geometric Reasoning (MIT Press, 1989) p. 413.
9. B. Buchberger, An implementation of Gröbner bases in Mathematica, Technical Report RISC-Linz 90-58 (Linz, 1990).
10. D. Cox, J. Little and D. O'Shea, Ideals, Varieties, and Algorithms (Springer, 1992).
11. J.C. Faugère, P. Gianni, D. Lazard and T. Mora, J. Symbolic Computation 16 (1993) 329.
12. M. Feinberg, Reaction network structure, multiple steady states, and sustained composition oscillations, in: K. Ebert, P. Deuflard, W. Jäger, eds., Modelling of Chemical Reaction Systems, Springer Series in Chemical Physics 18 (Springer, 1981) p. 56.
13. K. Gaterman, The moregroebner Package, 1996, available at URL http://www.zib-berlin.de.
14. K.O. Geddes, S.R. Czapor and G. Labahn, Algorithms for Computer Algebra (Kluwer, Dordrecht, 1992) Ch. 10.
15. A. Giovinni, T. Mora, G. Niesi, L. Robbiano and C. Traverso, One sugar cube, please, or selection strategies in the Buchberger algorithm, in: S.M. Watt, ed., Proc. ISSAC'91 (ACM Press, 1991) p. 49.
16. M.J. González-López and T. Recio, The ROMIN inverse geometric model and the dynamic evaluation method, in: A.M. Cohen, ed., Computer Algebra for Industry: Problem Solving in Practice (Wiley, 1993) p. 117.
17. L. González-López and G. Trujillo, Symbolic Recipes for Polynomial System Solving: Real Solutions, available by WWW at URL http://www.can.nl.
18. D. Gruntz, MapleTech 9 (1993) 36.
19. A.J.P. Heck, Computer algebra: a tool in identifiability testing, in: A.M. Cohen, L. van Gastel, and S. Verduyn Lunel, eds., Computer Algebra for Industry 2: Problem Solving in Practice (Wiley, 1995) p. 267.
20. A.J.P. Heck, Introduction to Maple (Springer, 1996) 2nd edition.
21. G. Helzer, Mathematica J. 5(1) (1995) 67.
22. H. Melenk, CWI Quarterly 3 (1990) 121.
23. G. Nakos and N. Glinos, Mathematica J. 4(3) (1994) 70.
24. V.W. Noonburg, SIAM J. Appl. Math 49 (1989) 1779.