Ore principal subresultant coefficients in solutions (Q5929734)

The author gives a new expression for the principal subresultant coefficient \(\text{psc}_k(A,B)\) of two Ore polynomials \(A\), \(B\) in terms of ``solutions'' of \(A\) and \(B\). This is another approach to a result of \textit{Z. Li} [in Proc. Int. Symp. Symb. Algebraic Comput., ISSAC '98, 132-139 (1998; Zbl 0922.16015)] and it can be viewed as an extension of the expression of the resultant of two (commutative) polynomials as a product of pairwise differences of their roots. The author includes a useful review on Ore polynomials and principal subresultant coefficients. The proof of his main theorem makes use of induction on the minimum of the degrees of \(A\) and \(B\) and properties of the \(\mu\)-th Ore Wrońskian matrices.