Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés

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...

Full description

Bibliographic Details
Main Author: Magron, Victor
Language:ENG
Published: Ecole Polytechnique X 2013
Subjects:
[MATH:MATH_OC] Mathematics/Optimization and Control
[MATH:MATH_OC] Mathématiques/Optimisation et contrôle
[INFO:INFO_NA] Computer Science/Numerical Analysis
[INFO:INFO_NA] Informatique/Analyse numérique
[INFO:INFO_LO] Computer Science/Logic in Computer Science
[INFO:INFO_LO] Informatique/Logique en informatique
Problèmes d'Optimisation Polynomiale
Certification Symbolique-numérique Hybride
Programmation Semidéfinie
Relaxations Semialgébriques
Assistant de preuves
Gabarits Maxplus
Online Access:http://pastel.archives-ouvertes.fr/pastel-00917779
http://pastel.archives-ouvertes.fr/docs/00/91/77/79/PDF/thesis.pdf

Internet

http://pastel.archives-ouvertes.fr/pastel-00917779
http://pastel.archives-ouvertes.fr/docs/00/91/77/79/PDF/thesis.pdf

Similar Items