Session Linear_Programming
View
theory dependencies
View
document
View
outline
Theories
More_Jordan_Normal_Forms
Simplex.Simplex_Algebra
Simplex.Abstract_Linear_Poly
Simplex.Linear_Poly_Maps
Simplex.QDelta
Simplex.Simplex_Auxiliary
Simplex.Rel_Chain
Simplex.Simplex
Farkas.Farkas
Simplex.Simplex_Incremental
Farkas.Simplex_for_Reals
Farkas.Matrix_Farkas
Matrix_LinPoly
LP_Preliminaries
Linear_Programming