lrs
From MaRDI portal
Software:16898
swMATH4730MaRDI QIDQ16898FDOQ16898
Author name not available (Why is that?)
Cited In (20)
- 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 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
- A Portable Parallel Implementation of the lrs Vertex Enumeration Code
- Exact algorithms and software in optimization and polyhedral computation
- Polymake: an approach to modular software design in computational geometry
- SReachTools
- 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?)
- A Heuristic Prover for Real Inequalities
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
This page was built for software: lrs
