On Farkas' Lemma and Related Propositions in BISH
英文摘要：
In this paper we analyse in the framework of constructive mathematics (BISH) the validity of Farkas' lemma and related propositions, namely the Fredholm alternative for solvability of systems of linear equations, optimality criteria in linear programming, Stiemke's lemma and the Superhedging Duality from mathematical finance, and von Neumann's minimax theorem with application to constructive game theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
