Session Power_Sum_Polynomials
View
theory dependencies
View
document
View
outline
Theories
Polynomial_Interpolation.Missing_Unsorted
Polynomial_Interpolation.Missing_Polynomial
Polynomial_Factorization.Order_Polynomial
Polynomial_Factorization.Fundamental_Theorem_Algebra_Factorized
Power_Sum_Polynomials_Library
Power_Sum_Polynomials
Polynomial_Interpolation.Ring_Hom
Polynomial_Interpolation.Ring_Hom_Poly
Polynomial_Factorization.Missing_Polynomial_Factorial
Polynomial_Factorization.Gauss_Lemma
Matrix.Utility
Polynomial_Factorization.Missing_List
Polynomial_Factorization.Missing_Multiset
Polynomial_Factorization.Prime_Factorization
Polynomial_Factorization.Rational_Root_Test
Power_Sum_Puzzle