Session Polynomial_Interpolation
View
theory dependencies
View
document
View
outline
Theories
Sqrt_Babylonian.Sqrt_Babylonian_Auxiliary
Is_Rat_To_Rat
Divmod_Int
Improved_Code_Equations
Ring_Hom
Missing_Unsorted
Missing_Polynomial
Ring_Hom_Poly
Newton_Interpolation
Lagrange_Interpolation
Neville_Aitken_Interpolation
Polynomial_Interpolation