Pages that link to "Item:Q5915783"

The following pages link to A formalization of convex polyhedra based on the simplex method (Q5915783):

Displaying 5 items.

• Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
• (Q5094138) (← links)
• Formalization of the Domination Chain with Weighted Parameters (Short Paper) (Q5875450) (← links)
• (Q5919582) (redirect page) (← links)
• Verified reductions for optimization (Q6536123) (← links)