Logiciel

  • TPLib

    est une bibliothèque écrite en OCaml qui permet de manipuler des polyèdres tropicaux.
    Elle implémente notamment des algorithmes permettant de passer d’une représentation externe d’un polyèdre à une représentation interne, ou inversement.
    Elle fournit toutes les primitives permettant d’utiliser les polyèdres tropicaux en tant que domaine abstrait numérique, afin de déterminer des invariants de programmes ou systèmes faisant intervenir les opérations min et max.

  • PIGAMES

    est une bibliothèque écrite en C, qui permet de résoudre des jeux stochastiques à somme nulle, avec paiements ergodiques ou actualisés, et de grande taille.
    Elle implémente des algorithmes combinant itérations sur les politiques et méthodes multigrilles algébriques.