The classification of real singularities using \textsc{Singular}. I: Splitting lemma and simple singularities (Q480644)

In his famous paper ``Local Normal Forms of Functions'' [Invent. Math. 35, 87--109 (1976; Zbl 0336.57022)], \textit{V. I. Arnold} presented a classification of hypersurface singularities of moda\-lity smaller or equal to two over the complex numbers together with a singularity determinator (an algorithm to compute the normal form of a given singularity). Arnold gave also a corresponding classification over the real numbers. The authors developed algorithms to determine the normal form of simple and unimodal singularities over the real numbers. This paper contains the splitting lemma and the case of simple singularities. The algorithms are implemented in the \textsc{Singular} library \texttt{realclassify.lib}.