@article{UMIRBAEV201677,
    Abstract = {We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.},
    Author = {Umirbaev, Ualbai},
    File = {Algorithmic problems for differential polynomial algebras - umirbaev2016 - a - d.pdf},
    ISSN = {0021-8693},
    Journal = {Journal of Algebra},
    Keywords = {Differential polynomial algebras, The ideal membership problem, The subalgebra membership problem, Minsky machines, Gr{\"o}bner bases},
    Pages = {77 - 92},
    Title = {Algorithmic problems for differential polynomial algebras},
    URL = {http://www.sciencedirect.com/science/article/pii/S002186931600106X},
    Volume = {455},
    Year = {2016},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002186931600106X},
    bdsk-url-2 = {https://doi.org/10.1016/j.jalgebra.2016.02.010},
    date-added = {2020-04-10 19:41:25 +0200},
    date-modified = {2020-04-10 19:41:25 +0200},
    doi = {10.1016/j.jalgebra.2016.02.010}
}

@article{UMIRBAEV201677, Abstract = {We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.}, Author = {Umirbaev, Ualbai}, File = {Algorithmic problems for differential polynomial algebras - umirbaev2016 - a - d.pdf}, ISSN = {0021-8693}, Journal = {Journal of Algebra}, Keywords = {Differential polynomial algebras, The ideal membership problem, The subalgebra membership problem, Minsky machines, Gr{\"o}bner bases}, Pages = {77 - 92}, Title = {Algorithmic problems for differential polynomial algebras}, URL = {http://www.sciencedirect.com/science/article/pii/S002186931600106X}, Volume = {455}, Year = {2016}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002186931600106X}, bdsk-url-2 = {https://doi.org/10.1016/j.jalgebra.2016.02.010}, date-added = {2020-04-10 19:41:25 +0200}, date-modified = {2020-04-10 19:41:25 +0200}, doi = {10.1016/j.jalgebra.2016.02.010} }