Brouwer's \(\epsilon\)-fixed point and Sperner's lemma
type: Item
instance of: scholarly article
title: Brouwer's \(\epsilon\)-fixed point and Sperner's lemma
zbMATH Open document ID: 1220.03051
author: Dirk van Dalen
published in: Theoretical Computer Science
publication date: 2011-07-07T00:00:00Z
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 54H25
zbMATH DE Number: 5918232
zbMATH Keywords: intuitionism
zbMATH Keywords: Brouwer
zbMATH Keywords: fixed-point theorem
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.04.002
OpenAlex ID: W2069746896
Wikidata QID: Q124792545
cites work: An intuitionist correction of the fixed-point theorem on the sphere
cites work: Q3041977
cites work: Lectures on the Curry-Howard isomorphism
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1016/J.TCS.2011.04.002
description: scientific article; zbMATH DE number 5918232