Timeline for Sperner's lemma and Tucker's lemma
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jun 15, 2013 at 21:45 | answer | added | Elyot | timeline score: 8 | |
| Jun 14, 2013 at 16:51 | comment | added | James Propp | @domotorp: Thanks for pointing out this article! It was very relevant and interesting. | |
| Jun 13, 2013 at 20:22 | vote | accept | CommunityBot | ||
| Jun 13, 2013 at 20:22 | history | bounty ended | James Propp | ||
| Jun 7, 2013 at 14:29 | comment | added | domotorp | Have you seen this? arxiv.org/pdf/1305.6158.pdf | |
| Jun 7, 2013 at 0:56 | answer | added | Andreas Blass | timeline score: 4 | |
| Jun 6, 2013 at 19:31 | history | bounty started | James Propp | ||
| May 23, 2013 at 14:13 | comment | added | James Propp | @Paul Taylor: See willamette.edu/~knyman/papers/Fan_Sperner.pdf for clear statements of Sperner's lemma and Tucker's lemma. | |
| May 22, 2013 at 21:34 | comment | added | Paul Taylor | Please can we clarify, for this and the other question, what the statement of Sperner's Lemma is that is under discussion. Is the Wikipedia article clear enough? en.wikipedia.org/wiki/Sperner_lemma | |
| May 22, 2013 at 21:12 | history | edited | user9072 |
edited tags
|
|
| May 22, 2013 at 20:57 | comment | added | François G. Dorais | Since these are results in finite combinatorics, the right context would be the theories discussed by Steve Cook and Phuong Nguyen in their book Logical Foundations of Proof Complexity. | |
| May 22, 2013 at 17:40 | history | asked | James Propp | CC BY-SA 3.0 |