Jianjun Qiu, Yuqun Chen
Abstract
We establish the Gröbner-Shirshov bases theory for differential Lie ΩΩΩ-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set.