François Boulier

Representation for the radical of a finitely generated differential ideal

We give an algorithm which represents the radical J of a finitely generated differential ideal as an intersection of radical differential ideals. The computed representation provides an algorithm for testing membership in J. This algorithm works over either an ordinary or a partial differential polynomial ring of characteristic zero. It has been programmed. We also give a method to obtain a obtain a characteristic set of J, if the ideal is prime.

Computing representations for radicals of finitely generated differential ideals

This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld–Gröbner, which computes a representation for the radical

On proving the absence of oscillations in models of genetic circuits

{\mathfrak p}

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo

Computing differential characteristic sets by change of ordering

{\mathfrak p}

Differential Algebra and System Modeling in Cellular Biology

(it permits to test membership in