Catfact: Computer algebraic tools for applications of catastrophe theory. We describe the current state of a package, written in REDUCE, that is being developed to solve the following problems that arise in applications of elementary catastrophe theory. For an input unfolding of some singularity, the recognition problem is to find a set of topological invariants that fix the equivalence class of the singularity. If the modality invariant is less than 3 then normal forms for unfoldings are known. The recognition algorithm employs the Buchberger Algorithm for Gröbner bases modified to the local requirements of singularity theory. The mapping problem is to find the taylor polynomial, up to any desired degree, of the right-equivalence that transforms the given unfolding into its normal form.
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Gatermann, Karin; Hosten, Serkan: Computational algebra for bifurcation theory (2005)
- Gatermann, Karin: Computer algebra methods for equivariant dynamical systems (2000)
- Kirk, N. P.: Computational aspects of classifying singularities (2000)
- Broer, H. W.; Hoveijn, I.; Lunter, G. A.; Vegter, G.: Resonances in a spring-pendulum: Algorithms for equivariant singularity theory (1998)
- Cowell, R. G.: Application of ordered standard bases to catastrophe theory (1992)
- Cowell, R. G.; Wright, F. J.: \textttCatfact: computer algebraic tools for applications of catastrophe theory (1989)