Algorithmic problems for differential polynomial algebras
Rings and Algebras
2020-01-03 v2
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.
Cite
@article{arxiv.1509.07230,
title = {Algorithmic problems for differential polynomial algebras},
author = {Ualbai Umirbaev},
journal= {arXiv preprint arXiv:1509.07230},
year = {2020}
}
Comments
12 pages