11 citations · 18 across the 11 of their papers we have counts for
1 paper · 2 filters
Josef Berger, Gregor Svindland
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…