Master class Algèbre linéaire certifiée
Master in Computer Science, École Normale Supérieure de Lyon, 2009-2010
Claude-Pierre Jeannerod, Nicolas Louvet, Nathalie Revol.

Description du cours.

• Bibliography
• Lecture notes

References

Lecture notes (incomplete)

• Cours 5 : Introduction à l'arithmétique par intervalles : notes
  Références bibliographiques : à venir
  
  
  
• Cours 6 : Complexité de certains problèmes d'algèbre linéaire en arithmétique par intervalles
  Références bibliographiques : à venir
  
  
  
• Cours 7 : Complexité de certains problèmes d'algèbre linéaire en arithmétique par intervalles (fin)
  et Implantation efficace du produit de matrices et de la résolution de systèmes linéaires
  Références bibliographiques : à venir
  
  
  
• Cours 9 : Implantation efficace du produit de matrices et de la résolution de systèmes linéaires (fin)
  Méthode de Rump (verifylss en IntLab), méthode de Hong Diep Nguyen.
  Compléments sur le raffinement itératif si j'ai le temps.
  Références bibliographiques : à venir
  
  
  

Go to Page Teaching of Nathalie Revol
Go to Page Nathalie Revol
Go to Page Arenaire
Go to Page LIP
Go to Page INRIA Rhône-Alpes