The following pages link to TPLib (Q22797):
Displayed 6 items.
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- Tropical polar cones, hypergraph transversals, and mean payoff games (Q550656) (← links)
- The number of extreme points of tropical polyhedra (Q616447) (← links)
- Computing the vertices of tropical polyhedra using directed hypergraphs (Q1943657) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Tropical Computations in polymake (Q4556580) (← links)