Theory and practice of differential elimination – OCCAM

Given a system of differential equations, the aim of differential elimination is to compute implied relations that only involve a set of variables of special interest. It generalizes the classical Gaussian elimination to nonlinear differential equations. Techniques based on differential elimination have diverse application in modeling, system theory and control theory, including assessing parameter identifiability and model selection.
The proposed project aims at developing, analyzing, implementing, and applying new algorithms for differential elimination based on exploiting the structure of the systems of differential equations appearing in practice and developing new, more concise and efficient, representations for systems of differential equations arising as a result of differential elimination.