Algorithmic problems for differential polynomial algebras
From MaRDI portal
differential polynomial algebrasGroebner basesMinsky machinesthe ideal membership problemthe subalgebra membership problem
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of associative rings (general theory) (16Z05) Differential algebra (12H05) Decidability and field theory (12L05) Differential graded algebras and applications (associative algebraic aspects) (16E45)
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.
Recommendations
- Algorithms and methods in differential algebra
- Polynomial algorithms in computer algebra
- Publication:3031846
- scientific article; zbMATH DE number 5154
- Polynomial complexity algorithms for computational problems in the theory of algebraic curves
- Algorithmic polynomials
- Algorithmic Polynomials
- Computational algorithms for algebraic operations on multidimensional polynomials
- Problems of computer algebra involved in the search for polynomial solutions of linear differential and difference equations
- Algorithms yield upper bounds in differential algebra
Cites work
- scientific article; zbMATH DE number 4181494 (Why is no real title available?)
- scientific article; zbMATH DE number 3170376 (Why is no real title available?)
- scientific article; zbMATH DE number 4138006 (Why is no real title available?)
- scientific article; zbMATH DE number 4085632 (Why is no real title available?)
- scientific article; zbMATH DE number 3762288 (Why is no real title available?)
- scientific article; zbMATH DE number 17848 (Why is no real title available?)
- scientific article; zbMATH DE number 177871 (Why is no real title available?)
- scientific article; zbMATH DE number 3627285 (Why is no real title available?)
- scientific article; zbMATH DE number 1252509 (Why is no real title available?)
- scientific article; zbMATH DE number 503186 (Why is no real title available?)
- scientific article; zbMATH DE number 612877 (Why is no real title available?)
- scientific article; zbMATH DE number 1979252 (Why is no real title available?)
- scientific article; zbMATH DE number 2146477 (Why is no real title available?)
- scientific article; zbMATH DE number 1860838 (Why is no real title available?)
- scientific article; zbMATH DE number 3285229 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 3082632 (Why is no real title available?)
- ALGORITHMIC PROBLEMS IN VARIETIES
- Algorithmic problems in associative algebras
- Associative differential operations
- Die Unterringe der freien Lieschen Ringe
- Gröbner-Shirshov bases and their calculation
- Ideals, Varieties, and Algorithms
- Membership problem for differential ideals generated by a composition of polynomials
- Occurrence problem for free solvable groups
- Systems of linear equations and the word problem for the varieties \({\mathfrak N}_2{\mathfrak N}_c\) of Lie algebras
- Systems of linear equations over associative algebras and the occurrence problem for lie algebras
- The occurrence problem for Lie algebras
- The occurrence problem for extensions of Abelian groups by nilpotent groups
- The occurrence problem for free metanilpotent Lie algebras
- The word problem for subvarieties of the variety \({\mathfrak N}_ 2{\mathfrak A}\)
- Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
Cited in
(12)- scientific article; zbMATH DE number 177871 (Why is no real title available?)
- A new algorithm for computing regular representations for radicals of parametric differential ideals
- Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S
- Differential algebraic dependence and Novikov dependence
- Algorithmic problems in associative algebras
- Une note sur les algorithmes de décomposition en algèbre différentielle
- Membership problem for differential ideals generated by a composition of polynomials
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials
- scientific article; zbMATH DE number 1567883 (Why is no real title available?)
- scientific article; zbMATH DE number 224226 (Why is no real title available?)
- Algorithmic problems for free Poisson algebras
This page was built for publication: Algorithmic problems for differential polynomial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q267385)
