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

Used by

Topics

Related Entries

Theories

Cite

×
@article{Subresultants-AFP,
  author  = {Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada},
  title   = {Subresultants},
  journal = {Archive of Formal Proofs},
  month   = April,
  year    = 2017,
  note    = {\url{http://isa-afp.org/entries/Subresultants.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download