Solving a congruence on a graded algebra by a subresultant sequence and its application
Journal of Symbolic Computation
Subresultants under composition
Journal of Symbolic Computation
A subresultant theory for Ore polynomials with applications
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
On Euclid's Algorithm and the Theory of Subresultants
Journal of the ACM (JACM)
New structure theorem for subresultants
Journal of Symbolic Computation - Special issue on symbolic computation in algebra, analysis and geometry
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Differential Resultants and Subresultants
FCT '91 Proceedings of the 8th International Symposium on Fundamentals of Computation Theory
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation
Sylvester's double sums: The general case
Journal of Symbolic Computation
Sylvester double sums and subresultants
Journal of Symbolic Computation
Sylvester's double sums: An inductive proof of the general case
Journal of Symbolic Computation
Hi-index | 0.00 |
Sylvester has announced formulas expressing the subresultants (or the successive polynomial remainders for the Euclidean division) of two polynomials, in terms of some double sums over the roots of the two polynomials. We prove Sylvester formulas using the techniques of multivariate polynomials involving multi-Schur functions and divided differences.