Implementing Differential Algebraic Invariant Checking

The goal of this project is to understand, design and implement invariant checking algorithms based on differential algebraic methods with a computer algebra system. The starting point is this paper and will involve a translation of the theoretical results into a practical implementation in a computer algebra system. See the BLAD differential algebra package.