Computational Aspects of Classifying Singularities

Abstract

AbstractA Maple package which performs the symbolic algebra central to problems in local singularity theory is described. This is a generalisation of previous projects, which dealt only with problems in elementary catastrophe theory. Applications to specific problems are described, and a survey given of the powerful techniques from singularity theory that are used by the package. A description of the underlying algorithm is given, and some of the more important computational aspects discussed. The package, user manual and installation instructions are available in the appendices to this article.