User contributions for Domotorp
From Polymath Wiki
Jump to navigationJump to search
10 July 2018
- 12:0912:09, 10 July 2018 diff hist +1,348 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added iteration arguments
7 July 2018
- 12:1612:16, 7 July 2018 diff hist +121 Probabilistic formulation of Hadwiger-Nelson problem →Lemma 38: added one line proof (also kept original)
- 12:1112:11, 7 July 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Lemma 37: added missing 3
5 July 2018
- 03:5803:58, 5 July 2018 diff hist +1 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed note 2
4 July 2018
- 13:1113:11, 4 July 2018 diff hist +274 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added note 2
- 12:1512:15, 4 July 2018 diff hist +65 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed def of E and F as noted by Aubrey here https://dustingmixon.wordpress.com/2018/07/02/polymath16-ninth-thread-searching-for-a-6-coloring/#comment-5106
23 June 2018
- 13:3513:35, 23 June 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36
- 13:2113:21, 23 June 2018 diff hist +83 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: lower bound on d
- 13:0013:00, 23 June 2018 diff hist +1 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 35: fixed BAD angle and \frac{1}{4} in first inequality
- 12:5212:52, 23 June 2018 diff hist +222 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed minor errors
19 June 2018
- 11:4611:46, 19 June 2018 diff hist −1 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 35: fixed typo (triangle -> rhombus)
29 May 2018
- 12:5912:59, 29 May 2018 diff hist +242 Hadwiger-Nelson problem →Notable unit distance graphs: added G26 to bichromatic origin part
- 12:5012:50, 29 May 2018 diff hist +4 m Hadwiger-Nelson problem →Notable unit distance graphs: fixed last two rows
9 May 2018
- 13:4113:41, 9 May 2018 diff hist +249 Hadwiger-Nelson problem →Blog, forums, and media: added index.hu
6 May 2018
- 23:4023:40, 6 May 2018 diff hist 0 m Probabilistic formulation of Hadwiger-Nelson problem →Theorem 20: fixed typo
4 May 2018
- 05:5905:59, 4 May 2018 diff hist +97 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: added \frac{\sqrt{5}-1}{2}
- 05:5605:56, 4 May 2018 diff hist +244 Probabilistic formulation of Hadwiger-Nelson problem →Proofs of bounds: added lower bound on \frac{\sqrt{5}-1}{2}
- 05:1905:19, 4 May 2018 diff hist −31 m Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings
- 05:1505:15, 4 May 2018 diff hist +65 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: added computer-verified to relevant places
- 05:1005:10, 4 May 2018 diff hist −4 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: renamed separation to distance
- 01:0101:01, 4 May 2018 diff hist +138 Probabilistic formulation of Hadwiger-Nelson problem No edit summary
3 May 2018
- 12:0912:09, 3 May 2018 diff hist +122 Hadwiger-Nelson problem →Virtual edge: added warning
- 01:2501:25, 3 May 2018 diff hist +153 Hadwiger-Nelson problem →Bibliography: added Bukh
5 February 2016
- 10:5810:58, 5 February 2016 diff hist +160 The Erdos-Rado sunflower lemma →Variants and notation
- 10:5410:54, 5 February 2016 diff hist +180 The Erdos-Rado sunflower lemma →Bibliography: added alon-shpilka-umans
- 08:1508:15, 5 February 2016 diff hist +185 The Erdos-Rado sunflower lemma →Variants and notation: cleared up DES part
- 07:5607:56, 5 February 2016 diff hist +1,364 The Erdos-Rado sunflower lemma →Variants and notation: added weak sunflower section
- 04:5604:56, 5 February 2016 diff hist −96 m The Erdos-Rado sunflower lemma →Bibliography: fixed deltas
- 04:5304:53, 5 February 2016 diff hist +429 The Erdos-Rado sunflower lemma →Bibliography: added links
- 04:4404:44, 5 February 2016 diff hist +253 The Erdos-Rado sunflower lemma →Bibliography: added Abbott-Exoo II and Axenovich et al
29 November 2015
- 06:3706:37, 29 November 2015 diff hist +111 m The Erdos-Rado sunflower lemma →Small values: changed style of top row of table
28 November 2015
- 16:3316:33, 28 November 2015 diff hist +2,095 The Erdos-Rado sunflower lemma added small values
27 November 2015
- 18:0518:05, 27 November 2015 diff hist −1 m The Erdos-Rado sunflower lemma →Bibliography
- 18:0518:05, 27 November 2015 diff hist +218 The Erdos-Rado sunflower lemma →Bibliography: added two more Abbott et al papers
4 November 2015
- 13:4213:42, 4 November 2015 diff hist +41 The Erdos-Rado sunflower lemma →Bibliography: added link to Erdos-Rado
