Automatic classification of normal forms

Nonlinear Analysis, Theory, Methods and Applications

Volumn 34, Issue 2, 1998, Pages 157-190

  Gatermann, Karin ^a,b   Lauterbach, Reiner ^c  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b ZUSE INSTITUTE BERLIN   (Germany)

^c WEIERSTRASS INSTITUTE FOR APPLIED ANALYSIS AND STOCHASTICS   (Germany)

Author keywords

Bifurcation theory; Computer Algebra; Gr bner bases; Singularity theory; Symmetry; Systems with several parameters

Indexed keywords

ALGEBRA; ALGORITHMS; FUNCTIONS; LYAPUNOV METHODS; PROBLEM SOLVING; THEOREM PROVING; TOPOLOGY;

AUTOMATIC CLASSIFICATION; COMPUTER ALGEBRA; GROBNER BASES; NORMAL FORMS; SINGULARITY THEORY; SYMMETRY;

BIFURCATION (MATHEMATICS);

EID: 0032187739     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0362-546X(97)00598-1     Document Type: Article

References (25)

1. M. Golubitsky, D.G. Schaeffer, Singularities and Groups in Bifurcation Theory I, Applied Mathematical Sciences, vol. 51, Springer, New York, 1985.
2. M. Golubitsky, I. Stewart, D.G. Schaeffer, Singularities and Groups in Bifurcation Theory II, Applied Mathematical Sciences, vol. 69, Springer, New York, 1988.
3. D. Armbruster, Bifurcation theory and computer algebra: An initial approach, in: B.F. Caviness (Ed.), Eurocal '85, Springer, Berlin, 1985, pp. 126-136.
4. D. Armbruster, G. Dangelmayr, Couple stationary bifurcations in non-flux boundary value problems, Math. Proc. Camb. Phil. Soc. 101 (1987) 167-192.
5. E. Freire, E. Gamero, E. Poncé, G. Franquelo, An algorithm for symbolic computation of center manifolds, in: P. Gianni (Ed.), Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, 4-8 July, 1988, Lecture Notes in Computer Science, vol. 358, Springer, Berlin, 1988.
6. R.H. Rand, D. Armbruster, Perturbation Methods, Bifurcation Theory and Computer Algebra, Applied Mathematical Sciences, vol. 65, Springer, New York, 1987.
7. G. Kemper, The invar package for calculating rings of invariants, Available by ftp from the electronic share library of Maple neptune@inf.ethz.ch, 1993.
8. B. Sturmfels, Algorithms in Invariant Theory, Texts and Monographs in Symbolic Computation, vol. 1, Springer, Wien, 1993.
9. K. Gatermann, Semi-invariants, equivariants and algorithms, Appl. Algebra Eng. Comm. Comput. 7 (1996) 105-124.
10. P. Worfolk, Zeros of equivariant vector fields: Algorithms for an invariant approach, J. Symb. Comp. 17 (1994) 487-511.
11. ∞ mappings, iii: finitely determined map-germs, Publ. Math. I.H.E.S. 35 (1968) 127-156.
12. J. Damon, private communication.
13. W.W. Adams, Ph. Loustaunau, An Introduction to Gröbner Bases, Graduate Studies in Mathematics, vol. 3, AMS, Providence, RI, 1994.
14. Th. Becker, V. Weispfenning, Gröbner Bases, a Computational Approach to Commutative Algebra, Graduate Texts in Mathematics, vol. 141, Springer, New York, 1993.
15. B. Buchberger, An algorithmical criterion for the solvability of algebraic systems of equations, Aequationes Mathematicae 4 (1970) 374-383 (in German).
16. B. Buchberger, Gröbner bases, an algorithmic method in polynomial ideal theory, in: N.K. Bose (Ed.), Multidimensional Systems Theory, Chap. 6. Reidel, Dodrecht, 1985, pp. 184-232.
17. D. Lazard, Solving zero-dimensional algebraic systems, J. Symb. Comp. 13 (1992) 117-131.
18. V. Weispfenning, Comprehensive Gröbner bases, J. Symb. Comp. 14 (1992) 1-29.
19. H. Melenk, H.M. Möller, W. Neun, Groebner: A package for calculating Groebner bases, Available with REDUCE 1992.
20. J.W. Bruce, A.A. du Plessis, C.T.C. Wall, Determinacy and unipotency, Inv. Math. 88 (1987) 521-554.
21. T. Gaffney, New methods in the classification theory of bifurcation problems, in: M. Golubitsky, J. Guckenheimer (Eds.), Multiparameter Bifurcation Theory, American Mathematical Society, Providence, RI, 1986.
22. T. Mora, An algorithm to compute the equations of tangent cones, in: J. Calmet (Ed.), Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982, Lecture Notes in Computer Science, vol. 144, Springer, Berlin, 1982, pp. 158-165.
23. G.-M. Greuel, G. Pfister, H. Schönemann, Singular, Available by anonymous ftp from saturn@mathemtik.uni-kl.de.
24. B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, St.M. Watt, Maple V Language Reference Manual, Springer, New York, 1991.
25. n, Arch. Rational Mech. Anal. 89 (1985) 307-388.