Elimination of unknowns for systems of algebraic differential-difference equations

Wei Li, Alexey Ovchinnikov, Gleb Pogudin +1

We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$…