Article ID Journal Published Year Pages File Type
4583856 Journal of Algebra 2016 16 Pages PDF
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.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Authors
,