Maxplus

swMATH7218MaRDI QIDQ19269FDOQ19269

Author name not available (Why is that?)

Official website: http://www.cmap.polytechnique.fr/~gaubert/MaxplusToolbox.html

Cited In (8)

• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
• Minimal half-spaces and external representation of tropical polyhedra
• Computing the vertices of tropical polyhedra using directed hypergraphs
• FaPAS
• TPLib
• VeriSIMPL
• The tropical double description method
• Tropical Convex Hull Computations

This page was built for software: Maxplus