Subresultants
Sebastiaan Joosten and René Thiemann and Akihisa YamadaArchive of Formal Proofs 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.
BibTeX
@article{Subresultants-AFP,
author = {Sebastiaan Joosten and René Thiemann and Akihisa Yamada},
title = {Subresultants},
journal = {Archive of Formal Proofs},
month = apr,
year = 2017,
note = {\url{http://isa-afp.org/entries/Subresultants.shtml},
Formal proof development},
ISSN = {2150-914x},
}