Subresultants

Sebastiaan J. C. Joosten 📧, René Thiemann 📧 and Akihisa Yamada 📧

April 6, 2017

Abstract

We formalize the theory of subresultants and the subresultant polynomial remainder sequence as described by Brown and Traub. As a result, we obtain efficient certified algorithms for computing the resultant and the greatest common divisor of polynomials.
BSD License

Topics

Theories of Subresultants