On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
Franois Boulier, Franois Lemaire, Alexandre Sedoglavic
Browse the full CASC paper archive.
Franois Boulier, Franois Lemaire, Alexandre Sedoglavic
Browse the full CASC paper archive.