User contributions for Marc van Leeuwen

21 September 2024

• 10:4010:40, 21 September 2024 diff hist −20 m Topos →Grothendieck topos (topos in geometry): Leave first names of Olivia Carmello and Laurent Lafforgue visible

17 August 2024

• 09:0709:07, 17 August 2024 diff hist −13 Sheikh Mujibur Rahman Rename a few remaining occurrence of Kolkata; limit repeated links to West Bengal
• 08:5808:58, 17 August 2024 diff hist +5 Sheikh Mujibur Rahman →United Bengal politics (1943–1947): Changed an instance of "Kolkata" to (that at the time official name) "Calcutta" used elsewhere in article, for clarity
• 08:4608:46, 17 August 2024 diff hist +1 m Sheikh Mujibur Rahman →Childhood: spelling

13 August 2024

• 11:0711:07, 13 August 2024 diff hist +17 m Hindley–Milner type system →Polytypes: Break up a math formula that combined a main formula, then a comma that belonged to the sentence, followed by an auxiliary formula
• 10:3010:30, 13 August 2024 diff hist +482 Hindley–Milner type system →Let-polymorphism: Reworded the paragraph for ease of understanding; the jargon used was not explained and difficult to grasp.

5 May 2024

• 13:5013:50, 5 May 2024 diff hist 0 m Referential transparency →History: typo: I'm pretty sure "a vehicle or truth or falsehood" is not what they said

22 April 2024

• 11:1411:14, 22 April 2024 diff hist +1 m Proof of the Truthful →Criticism: spelling: "one at a time" implies a plural

19 February 2024

• 15:0015:00, 19 February 2024 diff hist 0 Seven Bridges of Königsberg →Euler's analysis: The _number_ of edges between vertices is important here, not just whether it is nonzero (existence of an edge).

20 October 2023

• 14:0714:07, 20 October 2023 diff hist +1 Abstract simplicial complex →Examples: Improved phrase describing flag complexes so that now I understand it

2 October 2023

• 07:3107:31, 2 October 2023 diff hist 0 m History of the Jews in Alexandria →Roman period: fix redlink caused by spurious upper case

26 September 2023

• 20:3620:36, 26 September 2023 diff hist +5 Umberto II of Italy →Early life: year of date (1904) was missing in text

4 February 2023

• 13:5913:59, 4 February 2023 diff hist +164 Idempotence →Examples: added GCD and LCM

3 July 2022

• 07:5407:54, 3 July 2022 diff hist +235 Binomial coefficient provide basic multiplicative formula in lede; the factorial formula is just a condensation of it

2 April 2022

• 06:0906:09, 2 April 2022 diff hist 0 Mélo (play) Corrected obviously mistaken name Tags: Visual edit Mobile edit Mobile web edit

26 January 2022

• 18:1218:12, 26 January 2022 diff hist +42 Group action →Types of actions: precision: action on an empty set cannot be transitive , so exclude this case from given example

22 November 2021

• 14:3514:35, 22 November 2021 diff hist +1,332 Talk:Local field →Inconsistency in the lead: new section

18 October 2021

• 09:5609:56, 18 October 2021 diff hist +17 Extensionality →Example: make it a better example; previous formulation had no obvious sense

20 June 2021

• 05:0405:04, 20 June 2021 diff hist +6 Lattice (group) →Lattices in complex space: Add a comma, and reword to diminish suggestion that every free Abelian subgroup of rank $2n$ is a lattice

2 June 2021

• 10:0910:09, 2 June 2021 diff hist +27 Napier (surname) →People: mention "logarithm" on this page to more easily find its discoverer

25 May 2021

• 14:2414:24, 25 May 2021 diff hist −114 Intuitionism →Truth and proof: Remove "explanation" that refutable means existence of a counterexample. "There is an upper bound to the prime numbers" is refutable, but a counterexample is meaningless here.

11 May 2021

• 11:3211:32, 11 May 2021 diff hist +92 BioNTech →top: detailed what the 95% efficacy figure is about precisely

30 April 2021

• 10:0910:09, 30 April 2021 diff hist +27 N Miasmatism create redirection current Tag: New redirect

7 April 2021

• 13:3213:32, 7 April 2021 diff hist −3 Quicksort →top: replace 'efficient' by 'in-place' in lead: being efficient is not a defining characteristic (and discussed at length below), while being in-place is a defining characteristic

4 April 2021

• 08:4308:43, 4 April 2021 diff hist −1 m Quicksort →Hoare partition scheme: a(n)
• 08:2708:27, 4 April 2021 diff hist +674 Quicksort →Hoare partition scheme: More about Hoare's original partition method, and how the one presented here differs from it
• 05:1505:15, 4 April 2021 diff hist −2 m Quicksort →Hoare partition scheme: spurious semicolon
• 05:1005:10, 4 April 2021 diff hist +3,863 Quicksort →Algorithm: Rewrote parts, indicating considerable variability within the "quicksort" family, and even within the "Hoare partition scheme"

28 March 2021

• 08:4408:44, 28 March 2021 diff hist +34 Linear programming →Standard form: corrected: set-builder expression should always state which bound variable(s) is introduces; was not the case
• 08:3708:37, 28 March 2021 diff hist +132 Linear programming →top: reformulated for a bit more mathematical rigour/coherence

22 March 2021

• 08:1908:19, 22 March 2021 diff hist 0 m Cancel culture →Reactions: spelling: a censor is not a sensor

5 February 2021

• 02:5102:51, 5 February 2021 diff hist +48 Frobenius normal form →General case and theory: More notational simplifications, and correction/completion of the sketched proof
• 02:0202:02, 5 February 2021 diff hist +121 Frobenius normal form →General case and theory: Clarified and corrected formulation of the theorem: uniqueness is only obtained once the divisibility condition is imposed

2 December 2020

• 12:4512:45, 2 December 2020 diff hist −231 Sylow theorems Undid revision 991903768 by Marc van Leeuwen (talk) Retract; I misread Theorem 3 instead of 2 Tag: Undo
• 12:3112:31, 2 December 2020 diff hist +231 Sylow theorems →Consequences: Reformulated a phrase which made no mathematical sense; one does not need Theorem 2 to see the obvious. Tag: Reverted

3 August 2020

• 11:5811:58, 3 August 2020 diff hist +216 Soundness →Definition
• 11:5411:54, 3 August 2020 diff hist +81 Soundness →Definition: Corrected formulation; an argument is not true or false, though its premises are

30 July 2020

• 20:1020:10, 30 July 2020 diff hist +1,444 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date

29 July 2020

• 12:1212:12, 29 July 2020 diff hist +2,889 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date
• 10:5210:52, 29 July 2020 diff hist +561 Talk:Peter Stuyvesant →Confusion about Peter Stuyvesant's birth date

21 July 2020

• 09:1309:13, 21 July 2020 diff hist +79 The Bell Curve →Part III. The National Context: Improve phrase; "increase as a monotonic function of lower IQ" is badly formulated

1 June 2020

• 10:3210:32, 1 June 2020 diff hist −585 COVID-19 pandemic on Diamond Princess resolve (fusion) conflicting multiple references to the same article introduced in previous edit
• 10:1110:11, 1 June 2020 diff hist +917 COVID-19 pandemic on Diamond Princess →top: Expand section with some more summarising information, partially taken from the general "covid-19 on cruise ships" article

31 May 2020

• 10:3910:39, 31 May 2020 diff hist +1 m COVID-19 pandemic in Germany →8–14 March: corrected somewhat confusing missing comma
• 10:3710:37, 31 May 2020 diff hist +44 COVID-19 pandemic in Germany →8–14 March: Changed misleading claim about the date of Trump's 11 March travel ban announcement by indicating local time

30 May 2020

• 13:5213:52, 30 May 2020 diff hist −1 COVID-19 pandemic on Diamond Princess →Timeline: changed impossible date of 30 February into probably intended 3 February (though given citation did not state this explicitly)

15 May 2020

• 14:1314:13, 15 May 2020 diff hist −2 m COVID-19 pandemic on USS Theodore Roosevelt →March: replaced "the" by "a" to avoid confusion; even tough the source says "the", this is (apparently) not somebody mentioned before in this article

11 May 2020

• 11:0711:07, 11 May 2020 diff hist 0 m Glass battery →Construction and electrochemistry: dash should just be space, not radicallly-different

11 January 2020

• 10:1010:10, 11 January 2020 diff hist +89 Edmonds–Karp algorithm →top: Reduce confusion by indicating alternative transliteration of Dinitz's name

9 January 2020

• 08:0908:09, 9 January 2020 diff hist +47 Multiplication Products have factors, not terms. Also stressed that for an empty product the expression for the factor is irrelevant.