Maxplus
From MaRDI portal
Software:19269
swMATH7218MaRDI QIDQ19269FDOQ19269
Author name not available (Why is that?)
Cited In (5)
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
- Minimal half-spaces and external representation of tropical polyhedra
- Title not available (Why is that?)
- Computing the vertices of tropical polyhedra using directed hypergraphs
- Tropical Convex Hull Computations
This page was built for software: Maxplus
