lrs
From MaRDI portal
Lrs
swMATH4730MaRDI QIDQ16898FDOQ16898
Author name not available (Why is that?)
Official website: http://cgm.cs.mcgill.ca/~avis/C/lrs.html
Cited In (63)
- Polytope volume by descent in the face lattice and applications in social choice
- SReachTools: A MATLAB stochastic reachability toolbox
- Polyhedral and algebraic methods in computational geometry
- Monomial subrings in arbitrary dimension
- A portable parallel implementation of the \textit{lrs} vertex enumeration code
- A heuristic prover for real inequalities
- A heuristic prover for real inequalities
- Enumerating a subset of the integer points inside a Minkowski sum
- Game Theory Explorer: software for the applied game theorist
- Computing convex hulls and counting integer points with \texttt{polymake}
- Enumeration of Nash equilibria for two-player games
- cdd
- SingSurf
- cddplus
- azove
- LattE
- barvinok
- SPASS+T
- PORTA
- Regina
- TOPCOM
- PPL
- SnapPea
- Unimodularity
- Gambit
- Convex
- PANDA
- PolyLib
- triangulation
- Hull
- IbexOpt
- Game Theory Explorer
- GamePlan
- SMAPO
- XGame
- Unimodularity Test
- HUHFA
- infinite group relaxation
- Exact algorithms and software in optimization and polyhedral computation
- Polymake: an approach to modular software design in computational geometry
- gensphere
- respol
- SPHIN
- GeoCalcLib
- mplrs
- Minksum
- Bob++
- Vinci
- SReachTools
- LPbook
- FXrays
- Vass
- SReachTools
- efmtool
- polco
- lrsarith
- lrslib
- Computational experience with the reverse search vertex enumeration algorithm
- PALP: a package for analysing lattice polytopes with applications to toric geometry
- A generalization of the integer linear infeasibility problem
- BASES OF MINIMAL VECTORS IN LATTICES, III
- Title not available (Why is that?)
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
This page was built for software: lrs
