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]
No references recorded for this publication.
No citations of this publication recorded.