cl-banner

Subresultants

Sebastiaan Joosten and René Thiemann and Akihisa Yamada

Archive 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.

 

  AFP entry

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},
}
Nach oben scrollen