Subresultants

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

6 April 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

Depends On

Topics

Related Entries

Theories