Theory Polynomial_Interpolation.Polynomial_Interpolation
section ‹Polynomial Interpolation›
text ‹We combine Newton's, Lagrange's, and Neville-Aitken's interpolation algorithms
to a combined interpolation algorithm which is parametric. This parametric algorithm is then
further extend from fields to also perform interpolation of integer polynomials.
In experiments it is revealed that Newton's algorithm performs better than the one
of Lagrange. Moreover, on the integer numbers, only Newton's algorithm has been
optimized with fast failure capabilities.›
theory Polynomial_Interpolation
imports
Improved_Code_Equations
Newton_Interpolation
Lagrange_Interpolation
Neville_Aitken_Interpolation
begin