Cited in
(8)- The tropical double description method
- Tropical Convex Hull Computations
- Computing the vertices of tropical polyhedra using directed hypergraphs
- FaPAS
- TPLib
- VeriSIMPL
- Minimal half-spaces and external representation of tropical polyhedra
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
This page was built for software: Maxplus
