Overview "Software" (97 entries)

• ➔ Software: cddlib – double description and H↔V conversion
• ➔ Software: CGAL – 3D Convex Hulls and polyhedral kernels (proposed)
• ➔ Software: isl – Integer Set Library (proposed)
• ➔ Software: LattE integrale – Barvinok-based lattice-point counting & integration
• ➔ Software: lrslib – reverse search vertex enumeration
• ➔ Software: Normaliz – algorithms for affine monoids and cones (with pyramid decomposition)
• ➔ Software: Parma Polyhedra Library (PPL) – convex polyhedra operations
• ➔ Software: polymake – framework for polytopes and polyhedra
• ➔ Software: PORTA – Polyhedron Representation Transformation Algorithm
• ➔ Software: Qhull – Quickhull/Delaunay/Voronoi (proposed)
• ➔ SOLBT - Limited Balanced Truncation for Large-Scale Sparse Second-Order Systems
• ➔ SPECTRA - Sparse Eigenvalue Computation Toolkit as a Redesigned ARPACK
• ➔ SSSMOR - Sparse State-Space Model Order Reduction Toolbox
• ➔ Stellato-Banjac-Goulart-Bemporad-Boyd[2020]:OSQP: an operator splitting solver for quadratic programs
• ➔ SUITESPARSE: A Suite Of Sparse Matrix Software