Title: Theory / Unimportant / CS / Algo / Linear and integer programming / Schrijver{
Tags: fromMath

Smaller0: \(b\) is non-negative linear combination of linearly independent vectors from \(a_1,\dots,a_m\)
Greater0: there exists a hyperplane \(\{x\mid cx=0\}\) containing \(\text{rank}\{a_1,\dots,a_m,b\}-1\) linearly independent vectors from \(a_1,\dots,a_m\) such that \(cb<0\) and \(ca_i\ge 0\)
Page: 85
Chapter: 7
Section: 1
Variables: \(n,m\in\mathbb N\), \(a_1,\dots,a_m,b\in \mathbb K^n\), with \(\mathbb K\in\{\mathbb R,\mathbb Q\}\)
Kind: Theo
Smaller to greater: or
Hide middle: yes
Name: Fundamental theorem of linear inequality

Smaller0: \(ell(z,D)=ell(z',D')\)
Greater0: \(z=z'\) and \(D=D'\)
Page: 8
Chapter: 1
Section: 3
Variables: \(z,z'\in\mathbb R^n\)
\(D,D'\) a positive definite matrix of order \(n\)
Smaller to greater: iff