Poincaré-Birkhoff-Witt theorem for Leibniz n

José Manuel Casas, Manuel A. Insua, Manuel Ladra. Poincaré-Birkhoff-Witt theorem for Leibniz n. Journal of Symbolic Computation, 42(11-12):1052-1065, 2007. [doi]

Abstract

Abstract is missing.