Admissible orderings and finiteness criteria for differential standard bases
From MaRDI portal
Publication:5262787
DOI10.1145/1073884.1073935zbMath1352.13017OpenAlexW2045840397MaRDI QIDQ5262787
Publication date: 16 July 2015
Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1073884.1073935
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05)
Related Items (9)
Generalized separants of differential polynomials ⋮ Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials ⋮ Membership problem for differential ideals generated by a composition of polynomials ⋮ One-element differential standard bases with respect to inverse lexicographical orderings ⋮ Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals ⋮ Differential standard bases under composition ⋮ The ideal of separants in the ring of differential polynomials ⋮ On the consistency analysis of finite difference approximations ⋮ Primary differential nil-algebras do exist
This page was built for publication: Admissible orderings and finiteness criteria for differential standard bases
