Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Utilisation des petites solutions dans les systèmes à compteurs.
du groupe Combinatoire Énumérative et Algébrique

Date 2018-01-19  10:45-11:45
TitreUtilisation des petites solutions dans les systèmes à compteurs. 
RésuméLe théorème des petites solutions montre que tout système linéaire homogène à coefficients entiers admet des « petites » solutions. Ce théorème permet par exemple de montrer que la programmation linéaire est décidable dans NP. Je rappellerai dans cette présentation le théorème des petites solutions de Loïc Pottier et donnerai un exemple d’utilisation en vérification formelle pour décider le caractère borné d’un réseau de Petri dans EXPSPACE (théorème de Rackoff).  
Lieu076 
OrateurJérôme Leroux 



Aucun document lié à cet événement.

Retour
Retour à l'index