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… (More)