Session Linear_Inequalities

View theory dependencies
View document
View outline

Theories

Missing_Matrix
Missing_VS_Connect
Basis_Extension
Sum_Vec_Set
Integral_Bounded_Vectors
Cone
Convex_Hull
Normal_Vector
Dim_Span
Fundamental_Theorem_Linear_Inequalities
Farkas_Lemma
Farkas_Minkowsky_Weyl
Decomposition_Theorem
Mixed_Integer_Solutions
Integer_Hull