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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have