Subresultants

MaRDI QIDQ7361936FDO

Authors Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Publication date 6 April 2017

Cites work

• Algebraic numbers in Isabelle/HOL
• On Euclid's Algorithm and the Theory of Subresultants
• Optimizations of the subresultant algorithm
• Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
• The Subresultant PRS Algorithm

Cited in

(1)

• The Factorization Algorithm of Berlekamp and Zassenhaus

This page was built for software: Subresultants