Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] new in the AFP: Subresultants


view this post on Zulip Email Gateway (Aug 22 2022 at 15:22):

From: Gerwin.Klein@data61.csiro.au
Subresultants
by Sebastiaan Joosten, René Thiemann and Akihisa Yamada

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.

https://www.isa-afp.org/entries/Subresultants.shtml

Enjoy!
Gerwin


Last updated: Mar 28 2024 at 16:17 UTC