**Ovidiu Radulescu**

University of Montpellier

France

**Ovidiu Radulescu**

University of Montpellier

France

**Werner Seiler**

University of Kassel

Germany

We discuss a framework for defining and detecting singularities of arbitrary fully nonlinear systems of ordinary or partial differential equations with polynomial nonlinearities. It combines concepts from differential topology with methods from differential algebra and algebraic geometry. With its help, we provide for the first time a general definition of singularities of partial differential equations and show that it is at least meaningful in the sense that generic points are regular. Our definition is then extended to the notion of a regularity decomposition of a differential equation at a given order and the existence of such decompositions is proven by presenting an algorithm for their effective determination (with an implementation in Maple). Finally, we rigorously define the notion of a regular differential equation (a fundamental concept in the geometric theory of differential equations). We show that our algorithm automatically extracts one provably regular differential equation from each prime component of a given equations and thus provides an effective answer to an old problem in the geometric theory.