Computing differential characteristic sets by change of ordering

François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, 45(1):124-149, 2010. [doi]

Abstract

Abstract is missing.