%0 Journal Article %A Li, Wei %A Ovchinnikov, Alexey %A Pogudin, Gleb %A Scanlon, Thomas %T Algorithms yield upper bounds in differential algebra %J Canadian journal of mathematics %D 2023 %P 29-51 %V 75 %N 1 %U http://geodesic.mathdoc.fr/articles/10.4153/S0008414X21000560/ %R 10.4153/S0008414X21000560 %F 10_4153_S0008414X21000560