TY - RPRT TI - Algorithms yield upper bounds in differential algebra AU - Wei Li AU - Alexey Ovchinnikov AU - Gleb Pogudin AU - Thomas Scanlon PY - 2021 UR - https://arxiv.org/abs/2005.01608 ID - 2005.01608 ER -