Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés
Cette thèse a pour but de certifier des bornes inférieures de fonctions multivariées à valeurs réelles, définies par des expressions semi-algébriques ou transcendantes et de prouver leur validité en vérifiant les certificats dans l'assistant de preuves Coq. De nombreuses inégalités de cette nat...
Main Author: | |
---|---|
Language: | ENG |
Published: |
Ecole Polytechnique X
2013
|
Subjects: | |
Online Access: | http://pastel.archives-ouvertes.fr/pastel-00917779 http://pastel.archives-ouvertes.fr/docs/00/91/77/79/PDF/thesis.pdf |