TPLib
From MaRDI portal
Software:22797
swMATH10843MaRDI QIDQ22797FDOQ22797
Author name not available (Why is that?)
Cited In (6)
- On the complexity of strongly connected components in directed hypergraphs
- Tropical polar cones, hypergraph transversals, and mean payoff games
- Tropical Fourier-Motzkin elimination, with an application to real-time verification
- The number of extreme points of tropical polyhedra
- Computing the vertices of tropical polyhedra using directed hypergraphs
- Tropical Computations in polymake
This page was built for software: TPLib