Limites de suites et précision limitée - Partie 2 Avec quelle précision doivent être menés les calculs pour converger à une distance donnée de la véritable limite ? calcul numérique
Interpolation 1D avec Matlab Comprendre interp1 et savoir choisir ses options matlab calcul numérique interpolation
Limites de suites et précision limitée - Partie 1 Comment la limite d’une suite est-elle modifiée si le calcul se fait en précision limitée ? calcul numérique
Comment réordonner une somme de flottants peut changer son résultat Où on voit que la somme sur les nombres flottants n'est pas associative rust virgule flottante flottant
Interpolation avec des splines cubiques d'Hermite Notes sur une méthode d'interpolation à dérivée continue calcul numérique interpolation
Interpolation linéaire Notes sur la méthode d'interpolation la plus courante calcul numérique interpolation
Interpolation au plus proche Notes sur la méthode d'interpolation la plus simple calcul numérique interpolation
Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
Disques durs « spécial NAS » et reconstruction de RAID Quand une tolérance de panne ne tolère plus grand-chose probabilités disques durs raid
