The following pages link to lrs (Q16898):
Displayed 20 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- Polyhedral and algebraic methods in computational geometry (Q691570) (← links)
- PALP: a package for analysing lattice polytopes with applications to toric geometry (Q709469) (← links)
- Polytope volume by descent in the face lattice and applications in social choice (Q823891) (← links)
- Enumeration of Nash equilibria for two-player games (Q847809) (← links)
- A generalization of the integer linear infeasibility problem (Q924629) (← links)
- Enumerating a subset of the integer points inside a Minkowski sum (Q1602946) (← links)
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code (Q1621690) (← links)
- Game Theory Explorer: software for the applied game theorist (Q2356171) (← links)
- Computing convex hulls and counting integer points with \texttt{polymake} (Q2398105) (← links)
- A Portable Parallel Implementation of the lrs Vertex Enumeration Code (Q2867140) (← links)
- A Heuristic Prover for Real Inequalities (Q2879243) (← links)
- BASES OF MINIMAL VECTORS IN LATTICES, III (Q3225635) (← links)
- Computational experience with the reverse search vertex enumeration algorithm (Q4946698) (← links)
- SReachTools (Q5239216) (← links)
- SReachTools: A MATLAB stochastic reachability toolbox (Q5239250) (← links)
- Exact algorithms and software in optimization and polyhedral computation (Q5301640) (← links)
- (Q5358292) (← links)
- Polymake: an approach to modular software design in computational geometry (Q5361580) (← links)
- Monomial subrings in arbitrary dimension (Q5929356) (← links)