2 citations · 3 across the 7 of their papers we have counts for
Showing math.ACShow all
2 papers · 1 filter
math.AC2015
A decision method for the integrability of differential-algebraic Pfaffian systems
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó
We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As…
math.AC2013
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 of characteristic .…