lrs
From MaRDI portal
Lrs
Cited in
(68)- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- Polymake: an approach to modular software design in computational geometry
- Computational experience with the reverse search vertex enumeration algorithm
- A heuristic prover for real inequalities
- A generalization of the integer linear infeasibility problem
- A heuristic prover for real inequalities
- Polytope volume by descent in the face lattice and applications in social choice
- BASES OF MINIMAL VECTORS IN LATTICES, III
- Polyhedral and algebraic methods in computational geometry
- PALP: a package for analysing lattice polytopes with applications to toric geometry
- Computing convex hulls and counting integer points with \texttt{polymake}
- Game Theory Explorer: software for the applied game theorist
- SReachTools
- Enumeration of Nash equilibria for two-player games
- cdd
- Normaliz
- polymake
- SingSurf
- ZRAM
- JavaView
- Geomview
- 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
- gensphere
- respol
- SPHIN
- GeoCalcLib
- mplrs
- Minksum
- Bob++
- Vinci
- SReachTools
- LPbook
- FXrays
- Vass
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
- efmtool
- polco
- lrsarith
- lrslib
- Exact algorithms and software in optimization and polyhedral computation
- A portable parallel implementation of the \textit{lrs} vertex enumeration code
- Enumerating a subset of the integer points inside a Minkowski sum
- SReachTools: A MATLAB stochastic reachability toolbox
- Monomial subrings in arbitrary dimension
This page was built for software: lrs
