Algorithmic problems for differential polynomial algebras
Ualbai Umirbaev
所有作者
Ualbai Umirbaev
文献摘要
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.