Linear Programming

MaRDI QIDQ7361925FDO

Authors Julian Parsert, Cezary Kaliszyk

Publication date 6 August 2019

Cites work

• A Coq tactic for equality learning in linear arithmetic
• A formalization of convex polyhedra based on the simplex method
• Flyspeck II: The basic linear programs
• Formalization of Incremental Simplex Algorithm by Stepwise Refinement
• Unnamed Publication

This page was built for software: Linear Programming