TY - RPRT TI - Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients AU - Lisi D'Alfonso AU - Gabriela Jeronimo AU - Pablo SolernĂ³ PY - 2014 UR - https://arxiv.org/abs/1305.6298 ID - 1305.6298 ER -