Subresultants (Q7361936)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

AFP entry Subresultants
Language Label Description Also known as
default for all languages
No label defined
    English
    Subresultants
    AFP entry Subresultants

      Statements

      6 April 2017
      0 references
      Sebastiaan J. C. Joosten
      0 references
      René Thiemann
      0 references
      Akihisa Yamada
      0 references
      Subresultants (English)
      0 references
      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.
      0 references