A Normal Form Algorithm for Regular Differential Chains

François Boulier, François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, 4(2-3):185-201, 2010. [doi]

Abstract

Abstract is missing.