17 citations · 83 across the 33 of their papers we have counts for
Showing math.ACShow all
2 papers · 1 filter
math.AC2020★ 2 cited
Algorithms yield upper bounds in differential algebra
Wei Li, Alexey Ovchinnikov, Gleb Pogudin +1
Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic o…
math.AC2018★ 2 cited
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 of the natural number parameters and …