Vass
From MaRDI portal
Software:46405
No author found.
Source code repository: https://github.com/pi8027/vass
Related Items (2)
Formalizing the Face Lattice of Polyhedra ⋮ A formalization of convex polyhedra based on the simplex method
This page was built for software: Vass