Gröbner bases, invariant theory and equivariant dynamics

Journal of Symbolic Computation

Volumn 28, Issue 1-2, 1999, Pages 275-302

  Gatermann, Karin ^a,b   Guyard, Frederic ^c  

^a ZUSE INSTITUTE BERLIN   (Germany)

^b FREIE UNIVERSITÄT BERLIN   (Germany)

^c UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348155700     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1998.0277     Document Type: Article

References (51)

1. Atiyah, M., MacDonald, I. (1969). Introduction to Commutative Algebra. Reading, MA, Addison-Wesley.
2. Bayer, D., Morrison, I. (1988). Gröbner bases and geometric invariant theory I. J. Symb. Comput., 6, 209-217.
3. Bayer, D., Stillman, M. (1992). Computation of Hilbert functions. J. Symb. Comput., 14, 31-50.
4. Becker, T., Weispfenning, V. (1993). Gröbner Bases, a Computational Approach to Commutative Algebra, Graduate Texts in Mathematics 141. New York, Springer.
5. Bröcker, T., tom Dieck, T. (1985). Representation of Compact Lie Groups. New York, Springer.
6. Bruns, W., Herzog, J. (1993). Cohen-Macaulay Rings. Cambridge, U.K., Cambridge University Press.
7. Buchberger, B. (1965). Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal, (an algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal). Ph. D. Thesis, Mathematics Institute University of Innsbruck, Austria.
8. Buchberger, B. (1985). Gröbner bases, an algorithmic method in polynomial ideal theory. In Bose, N., ed., Multidimensional Systems Theory, Chapter 6, pp. 184-232. Dodrecht, Reidel Publishing Company.
9. Caboara, M., De Dominicis, G., Robbiano, L. (1996). Multigraded Hilbert functions and Buchberger algorithm. In Lakshman, Y., ed., ISSAC 96, Proc. 1996 Int. Symp. on Symbolic and Algebraic Computation, pp. 72-78. New York, ACM.
10. 4-symmetry. Physica D, 59, 52-78.
11. Chossat, P. (1993). Forced reflectional symmetry breaking of an O(2)-symmetric homoclinic cycle. Nonlinearity, 6, 723-731.
12. Chossat, P., Dias, F. (1995). The 1:2 resonance with O(2) symmetry and its applications in hydrodynamics. Nonlinear Sci., 5, 105-129.
13. Cox, D., Little, J., O'Shea, D. (1992). Ideals, Varieties, and Algorithms, An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. New York, Springer.
14. Derksen, H. (1997). Computation of invariants for reductive groups. Preprint. Available at ftp://daisy.math.unibas.ch/pub/hderksen/preprints.html.
15. Eisenbud, D. (1995). Commutative Algebra with a view Toward Algebraic Geometry, Graduate Texts in Mathematics 150. New York, Springer.
16. Eisenbud, D., Sturmfels, B. (1994). Finding sparse systems of parameters. J. Pure Appl. Algebra, 94, 143-157.
17. Fulton, W., Harris, J. (1991). Representation Theory. A first Course, Graduate Texts in Mathematics 120. New York, Springer.
18. Gatermann, K. (1996a). The moregroebner package version 2.0 - an improvement of the Gröbner package. A Maple program. Available by www at the address http://www.zib.de/gatermann/moregroebner.html.
19. Gatermann, K. (1996b). Semi-invariants, equivariants and algorithms. Appl. Algebra Eng. Commun. Comput., 7, 105-124.
20. Gatermann, K., Guyard, F. (1997). The symmetry package in Maple. Available by www at the address http://www.zib.de/gatermann/symmetry.html.
21. Gatermann, K., Lauterbach, R. (1998). Automatic classification of normal forms. Nonlinear Anal., 34, 157-190.
22. Gatermann, K., Werner, B. (1996) Secondary Hopf bifurcation caused by steady-state mode interaction. In Chaddam, J., Golubitsky, M., Langford, W. and Wetton, B., eds, Pattern Formations: Symmetry Methods and Applications. Dordrecht, Reidel Publishing Company.
23. Gianni, P., Mora, T., Robbiano, L., Traverso, C. (1996). Multigraded Hilbert functions and Buchberger Algorithm. Preprint 1996.
24. Golubitsky, M., Stewart, I., Schaeffer, D. G. (1988). Singularities and Groups in Bifurcation Theory II, Applied Mathematical Sciences 69. New York, Springer.
25. Heydtmann, A. (1997). Finvar.lib, a Singular library to compute invariant rings and more. Available at http://www.mathematik.uni-kl/ zca/Singular. Demonstration at the workshop on Algorithmic Invariant Theory, Dagstuhl, May 1996.
26. Hochster, M., Roberts, J. (1974). Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay. Adv. Math., 13, 115-175.
27. Humphreys, J. (1972, 1982). Introduction to Lie Algebra and Representation Theory. New York, Springer.
28. Humphreys, J. (1975, 1980). Linear Algebraic Groups. New York, Springer.
29. Jaric, M., Michel, L., Sharp, R. (1984). Zeros of covariant vector fields for the point groups: invariant formulation. J. Physique, 45, 1-27.
30. Kemper, G. (1993). The invar package for calculating rings of invariants. Available by ftp from the electronic share library of Maple neptune@inf.ethz.ch, 1993.
31. Kemper, G. (1996). Calculating invariant rings of finite groups over arbitrary fields. J. Symb. Comput., 21, 351-366.
32. Kemper, G., Steel, A. (1997). Some algorithms in invariant theory of finite groups. In Dräxler, P., Michler, G. O., Ringle, C. U., eds, Proc. Euroconference on Computational Methods for Representations of Groups and Algebra, Progress in Mathematics. Birkhäuser, Basel. 1998.
33. Kempf, G. (1987). Computing invariants. In Koh, S. ed., Invariant Theory, LNM 1278. Berlin, Heidelberg, Springer.
34. Koenig, M. (1997). Linearization of vector fields on the orbit space of the action of a compact Lie group. Math. Proc. Camb. Phil. Soc., 121, 401-424.
35. 4-symmetric systems. Technical Report Preprint FI-NP 1997-009, The Fields Institute. Dynamics of Continuous, Discrete and Impulsive Systems (to appear).
36. Lauterbach, R., Sanders, J. (1997). Bifurcation analysis for spherically symmetric systems using invariant theory. J. Dyn. Diff. Eqns 9, 535-560.
37. Leis, C. (1995). Hopf-Verzweigung in Systemen mit sphärischer Symmetrie: Invariante Tori und verbindende Orbits. Ph. D. Thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik. (In German.)
38. Macaulay, F. (1927). Some properties of enumeration in the theory of modular systems. Proc. London Math. Soc., 26, 531-555.
39. 3-symmetry. M.Sc. Thesis (Diplomarbeit), Free University, Berlin.
40. Mishra, B. (1993). Algorithmic Algebra, Texts and Monographs in Computer Science 14. New York, Springer.
41. Mora, T., Robbiano, L. (1988). The Gröbner fan of an ideal. J. Symb. Comput., 6, 183-208.
42. Robbiano, L. (1985). Term orderings on the polynomial ring. In EUROCAL 85, European Conference on Computer Algebra Vol. II, LNCS 204, pp. 513-517. Springer.
43. Rumberger, M. (1995). Auffinden von Invarianten in speziellen Fällen. Manuscript (in German).
44. j-functions and center manifold reduction. In Broer, H., van Gils, S., Hoveijn, I. and Takens, F. eds., Nonlinear Dynamical Systems, Progress in Nonlinear Differential Equations and Their Applications 19, pp. 145-153. Basel, Birkhäuser.
45. Sattinger, D. (1978). Bifurcations from rotationally invariant states. J. Math. Phys., 19, 1720-1731.
46. Sattinger, D. (1979). Group Theoretic Methods in Bifurcation Theory, LNM 762. New York, Springer.
47. Sturmfels, B. (1993). Algorithms in Invariant Theory, Texts and Monographs in Symbolic Computation 1. Wien, Springer.
48. Sturmfels, B. (1996). Gröbner Bases and Convex Polytopes, University Lecture Series 8. Providence, RI, AMS.
49. Sturmfels, B., White, N. (1991). Computing combinatorial decompositions of rings. Combinatorica, 11, 275-293.
50. Weispfenning, V. (1987). Admissible orders and linear forms. ACM Sigsam Bull., 21, 16-18.
51. Worfolk, P. (1994). Zeros of equivariant vector fields: algorithms for an invariant approach. J. Symb. Comput., 17, 487-511.