Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients

Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó

We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants $K$ of characteristic $0$.…