lrs
From MaRDI portal
Software:16898
No author found.
Related Items (20)
Polytope volume by descent in the face lattice and applications in social choice ⋮ \texttt{mplrs}: a scalable parallel vertex/facet enumeration code ⋮ A heuristic prover for real inequalities ⋮ Enumeration of Nash equilibria for two-player games ⋮ Exact algorithms and software in optimization and polyhedral computation ⋮ Computing convex hulls and counting integer points with \texttt{polymake} ⋮ SReachTools ⋮ BASES OF MINIMAL VECTORS IN LATTICES, III ⋮ Polymake: an approach to modular software design in computational geometry ⋮ A generalization of the integer linear infeasibility problem ⋮ Polyhedral and algebraic methods in computational geometry ⋮ Monomial subrings in arbitrary dimension ⋮ PALP: a package for analysing lattice polytopes with applications to toric geometry ⋮ Computational experience with the reverse search vertex enumeration algorithm ⋮ Unnamed Item ⋮ SReachTools: A MATLAB stochastic reachability toolbox ⋮ A Portable Parallel Implementation of the lrs Vertex Enumeration Code ⋮ Enumerating a subset of the integer points inside a Minkowski sum ⋮ Game Theory Explorer: software for the applied game theorist ⋮ A Heuristic Prover for Real Inequalities
This page was built for software: lrs