Logiciel

Liste des logiciels :

  • Coq-Polyhedra: Formalizing convex polyhedra in Coq

    https://github.com/nhojem/Coq-Polyhedra/

  • 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/

    • Les commentaires sont clos.