Liste des logiciels :
Coq-Polyhedra: Formalizing convex polyhedra in Coq
TPLib
TPLib (Tropical Polyhedra Library) is a library written in OCaml which allows to manipulate tropical polyhedra. See
http://www.cmap.polytechnique.fr/~allamigeon/software/