Brouwer's -fixed point and Sperner's lemma

DOI10.1016/J.TCS.2011.04.002zbMATH Open1220.03051OpenAlexW2069746896WikidataQ124792545 ScholiaQ124792545MaRDI QIDQ549181FDOQ549181

Authors: Dirk van Dalen 

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

Recommendations

• A constructive version of Sperner's lemma and Brouwer's fixed point theorem
• scientific article
• Brouwer via Picard-Lindelöf: A Short Proof of the Brouwer Fixed Point Theorem
• On the two-dimensional version of the Sperner lemma and Brouwer's theorem
• Once upon a time there was a fixed point\dots

zbMATH Keywords

fixed-point theoremintuitionismBrouwer

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

Cites Work

• Lectures on the Curry-Howard isomorphism
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• An intuitionist correction of the fixed-point theorem on the sphere

Cited In (6)

• Title not available (Why is that?)
• Brouwer's fixed point theorem with isolated fixed points and his fan theorem
• Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
• 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
• An ε-free Rohlin lemma

This page was built for publication: Brouwer's \(\epsilon\)-fixed point and Sperner's lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549181)