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