TY - GEN A1 - Gatermann, Karin A1 - Lauterbach, Reiner T1 - Automatic classification of normal forms N2 - The aim of this paper is to demonstrate a specific application of Computer Algebra to bifurcation theory with symmetry. The classification of different bifurcation phenomena in case of several parameters is automated, based on a classification of Gröbner bases of possible tangent spaces. The computations are performed in new coordinates of fundamental invariants and fundamental equivariants, with the induced weighted ordering. In order to justify the approach the theory of intrinsic modules is applied. Results for the groups $D_3, Z_2,$ and $ Z_2\times Z_2$ demonstrate that the algorithm works independent of the group and that new results are obtained. T3 - ZIB-Report - SC-95-03 Y1 - 1995 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1692 ER -