Vérification formelle pour les méthodes numériques
Cette thèse s'articule autour de la formalisation de mathématiques dans l'assistant à la preuve Coq dans le but de vérifier des méthodes numériques. Plus précisément, elle se concentre sur la formalisation de concepts qui apparaissent dans la résolution des systèmes d'équations linéai...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université de Nice Sophia-Antipolis
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00555158 http://tel.archives-ouvertes.fr/docs/00/55/51/58/PDF/pasca_phd_thesis.pdf |