We establish Gröbner–Shirshov base theory for Gelfand–Dorfman–Novikov algebras over a
field of characteristic 0. As applications, a PBW type theorem in Shirshov form is given and …

Algorithmic problems for differential polynomial algebras - ScienceDirect Skip to main
contentSkip to article Elsevier logo Journals & Books Search RegisterSign in View PDF …

We define an analogue of the Fox derivatives for differential polynomial algebras and give a
criterion for differential algebraic dependence of a finite system of elements. In particular, we …

Abstract We generalize Hoon Hong's theorem on Gröbner bases under composition to the
case of differential standard bases in the ordinary ring of differential polynomials {ie4152 …

We establish Gröbner-Shirshov bases theory for Novikov algebras over a field of
characteristic 0. As applications, a PBW type theorem in Shirshov form is given and we show …