Brouwer's \(\epsilon\)-fixed point and Sperner's lemma (Q549181): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F55
@@ Property / Mathematics Subject Classification ID: 03F55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-03
@@ Property / Mathematics Subject Classification ID: 03-03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+H25
@@ Property / Mathematics Subject Classification ID: 54H25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5918232
@@ Property / zbMATH DE Number: 5918232 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionism
@@ Property / zbMATH Keywords: intuitionism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Brouwer
@@ Property / zbMATH Keywords: Brouwer / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fixed-point theorem
@@ Property / zbMATH Keywords: fixed-point theorem / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2069746896
@@ Property / OpenAlex ID: W2069746896 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124792545
@@ Property / Wikidata QID: Q124792545 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionist correction of the fixed-point theorem on the sphere
+Normal rank
@@ Property / cites work @@
+Q3041977
@@ Property / cites work: Q3041977 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549181