Étude formelle d'algorithmes efficaces en algèbre linéaire
Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avancées. Mais souvent, l'accent est mis davantage sur la fac...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Nice Sophia Antipolis
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00945775 http://tel.archives-ouvertes.fr/docs/00/94/57/75/PDF/2013NICE4103.pdf |