Computer Algebraic Tools for Applications of Catastrophe Theory

We propose a “model-mapping” approach to the understanding of smooth local structure. Describing such structure using catastrophe theoretic models of gradient systems leads to algebraic problems, which we sketch and indicate how computers can help to solve.