-
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.
Résumé de la politique de confidentialité
Ce site utilise des cookies afin que nous puissions vous fournir la meilleure expérience utilisateur possible. Les informations sur les cookies sont stockées dans votre navigateur et remplissent des fonctions telles que vous reconnaître lorsque vous revenez sur notre site Web et aider notre équipe à comprendre les sections du site que vous trouvez les plus intéressantes et utiles.