Brouwer's \(\epsilon\)-fixed point and Sperner's lemma
From MaRDI portal
Publication:549181
DOI10.1016/j.tcs.2011.04.002zbMath1220.03051WikidataQ124792545 ScholiaQ124792545MaRDI QIDQ549181
Publication date: 7 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.002
54H25: Fixed-point and coincidence theorems (topological aspects)
03-03: History of mathematical logic and foundations
03F55: Intuitionistic mathematics
Related Items
Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions, Brouwer's fixed point theorem with isolated fixed points and his fan theorem, A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity, Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics
Cites Work