@article{2020arXiv200501608L,
    ArchivePrefix = {arXiv},
    Author = {{Li}, Wei and {Ovchinnikov}, Alexey and {Pogudin}, Gleb and {Scanlon}, Thomas},
    EID = {arXiv:2005.01608},
    EPrint = {2005.01608},
    File = {Algorithms yield upper bounds in differential algebra - 2005.01608 - a - l.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Mathematics - Commutative Algebra, Computer Science - Symbolic Computation, Mathematics - Algebraic Geometry, Mathematics - Logic, 12H05, 12H10, 03C10, 03C60, 03D15},
    Month = {April},
    Pages = {arXiv:2005.01608},
    PrimaryClass = {math.AC},
    Title = {{Algorithms yield upper bounds in differential algebra}},
    Year = {2020},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200501608L},
    date-added = {2020-10-19 09:38:06 +0200},
    date-modified = {2020-10-19 09:38:06 +0200},
    doi = {10.48550/arXiv.2005.01608}
}

@article{2020arXiv200501608L, ArchivePrefix = {arXiv}, Author = {{Li}, Wei and {Ovchinnikov}, Alexey and {Pogudin}, Gleb and {Scanlon}, Thomas}, EID = {arXiv:2005.01608}, EPrint = {2005.01608}, File = {Algorithms yield upper bounds in differential algebra - 2005.01608 - a - l.pdf}, Journal = {arXiv e-prints}, Keywords = {Mathematics - Commutative Algebra, Computer Science - Symbolic Computation, Mathematics - Algebraic Geometry, Mathematics - Logic, 12H05, 12H10, 03C10, 03C60, 03D15}, Month = {April}, Pages = {arXiv:2005.01608}, PrimaryClass = {math.AC}, Title = {{Algorithms yield upper bounds in differential algebra}}, Year = {2020}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200501608L}, date-added = {2020-10-19 09:38:06 +0200}, date-modified = {2020-10-19 09:38:06 +0200}, doi = {10.48550/arXiv.2005.01608} }