TY - JOUR AU - Li, Wei AU - Ovchinnikov, Alexey AU - Pogudin, Gleb AU - Scanlon, Thomas TI - Algorithms yield upper bounds in differential algebra JO - Canadian journal of mathematics PY - 2023 SP - 29 EP - 51 VL - 75 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.4153/S0008414X21000560/ DO - 10.4153/S0008414X21000560 ID - 10_4153_S0008414X21000560 ER -