Farkas' lemma is a result in mathematics stating that a vector is either in a given cone or that there exists a (hyper)plane separating the vector from the cone, but not both.
In mathematics, a lemma (plural lemmata or lemmas from the Greek λήμμα, "lemma" meaning "anything which is received, such as a gift, profit, or a bribe") is a proven proposition which is used as a stepping stone to a larger result rather than as a s
Burnside's lemma, sometimes also called Burnside's counting theorem, the Cauchy-Frobenius lemma or the orbit-counting theorem, is a result in group theory which is often useful in taking account of symmetry when counting mathematical objects.
