TPLib
From MaRDI portal
Cited in
(10)- Maxplus
- Computing the vertices of tropical polyhedra using directed hypergraphs
- a-tint
- TropLi
- tropical.lib
- Tropical Fourier-Motzkin elimination, with an application to real-time verification
- Tropical computations in \texttt{polymake}
- On the complexity of strongly connected components in directed hypergraphs
- Tropical polar cones, hypergraph transversals, and mean payoff games
- The number of extreme points of tropical polyhedra
This page was built for software: TPLib
