Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle / Alexis Fouilhé ; sous la direction de David Monniaux et de Michaël Périn

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Géométrie algorithmique

Logiciels -- Vérification

Logique informatique

Recherche opérationnelle

Langages formels

Classification Dewey : 004

Monniaux, David (1976-....) (Directeur de thèse / thesis advisor)

Périn, Michaël (Directeur de thèse / thesis advisor)

Feautrier, Paul (Président du jury de soutenance / praeses)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire Verimag (Grenoble) (Laboratoire associé à la thèse / thesis associated laboratory)