Vass

swMATH34696MaRDI QIDQ46405FDOQ46405

Author name not available (Why is that?)

Source code repository: https://github.com/pi8027/vass

Cited In (2)

• Formalizing the Face Lattice of Polyhedra
• A formalization of convex polyhedra based on the simplex method

This page was built for software: Vass