Pages that link to "Item:Q5915783"
From MaRDI portal
The following pages link to A formalization of convex polyhedra based on the simplex method (Q5915783):
Displaying 6 items.
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- (Q5094138) (← links)
- Formalization of the Domination Chain with Weighted Parameters (Short Paper) (Q5875450) (← links)
- A formalization of convex polyhedra based on the simplex method (Q5915783) (← links)
- (Q5919582) (redirect page) (← links)
- Verified reductions for optimization (Q6536123) (← links)