A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Differential elimination by differential specialization of Sylvester style matrices
2015
ACM Communications in Computer Algebra
Differential resultant formulas are defined, for a system P of n ordinary Laurent differential polynomials in n − 1 differential variables. These are determinants of coefficient matrices of an extended system of polynomials obtained from P through derivations and multiplications by Laurent monomials. To start, through derivations, a system ps(P) of L polynomials in L − 1 algebraic variables is obtained, which is non sparse in the order of derivation. This enables the use of existing formulas
doi:10.1145/2768577.2768635
fatcat:skxdncfggzasdewztx74mhzlqm