Factorization of Polynomials with Algebraic Coefficients

MaRDI QIDQ7361482FDO

Authors Manuel Eberl, René Thiemann

Publication date 8 November 2021

Cites work

• A verified implementation of algebraic numbers in Isabelle/HOL
• Computing in the field of complex algebraic numbers
• On Euclid's Algorithm and the Theory of Subresultants
• The Subresultant PRS Algorithm

Cited in

(5)

• Undecidability Results on Orienting Single Rewrite Rules
• Linear Recurrences
• A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
• The Schwartz-Zippel Lemma
• Solving Cubic and Quartic Equations

This page was built for software: Factorization of Polynomials with Algebraic Coefficients