Couvre l'interpolation des fonctions en utilisant les polynômes Lagrange et l'analyse des erreurs, en mettant l'accent sur la dépendance à la fonction.
Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Fournit une vue d'ensemble des techniques d'interpolation polynomiale en analyse numérique, en se concentrant sur les méthodes d'interpolation et d'estimation des erreurs de Lagrange.