Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique

Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique

Cette thèse présente la nouvelle implémentation de la Verified Polyhedra Library (VPL), une bibliothèque efficace de calcul polyédral.Elle fournit des opérateurs certifiés en Coq, s'appliquant sur des représentations en contraintes.La version précédente souffrait d'inefficacité lors d'...

Full description

Bibliographic Details
Main Author: Maréchal, Alexandre
Other Authors: Grenoble Alpes
Language:en
Published: 2017
Subjects:
Analyse statique
Interprétation abstraite
Polyèdres
Programmation Linéaire Paramétrique
Static analysis
Abstract interpretation
Polyhedra
Parametric Linear Programming
004
Online Access:http://www.theses.fr/2017GREAM086

Internet

http://www.theses.fr/2017GREAM086

Similar Items