Admissible orderings and finiteness criteria for differential standard bases

DOI10.1145/1073884.1073935zbMATH Open1352.13017OpenAlexW2045840397MaRDI QIDQ5262787FDOQ5262787

A. I. Zobnin

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

zbMATH Keywords

differential algebraadmissible orderingsGröbner bases

Mathematics Subject Classification ID

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)

Cited In (12)

• Primary differential nil-algebras do exist
• Generalized separants of differential polynomials
• On the consistency analysis of finite difference approximations
• The ideal of separants in the ring of differential polynomials
• Title not available (Why is that?)
• Membership problem for differential ideals generated by a composition of polynomials
• One-element differential standard bases with respect to inverse lexicographical orderings
• Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials
• Multiplicity structure of the arc space of a fat point
• Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
• Title not available (Why is that?)
• Differential standard bases under composition

This page was built for publication: Admissible orderings and finiteness criteria for differential standard bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262787)