User contributions for Arthur MILCHIOR
A user with 880 edits. Account created on 28 April 2009.
18 July 2021
- 08:4908:49, 18 July 2021 diff hist +906 Double-ended queue →Purely functional implementation: Correcting errors mentionned in Talk page
- 07:3307:33, 18 July 2021 diff hist +1,023 Talk:Double-ended queue →Big problem with "Purely functional implementation"
- 07:2407:24, 18 July 2021 diff hist +793 Talk:Double-ended queue →Persistent implementations: new section
- 05:1205:12, 18 July 2021 diff hist +104 User talk:Onel5969 →Measure of presortedness
- 05:1105:11, 18 July 2021 diff hist +260 User talk:Onel5969 →Measure of presortedness: new section
24 May 2021
- 05:3905:39, 24 May 2021 diff hist +1,035 Talk:Run of a sequence No edit summary
23 May 2021
- 09:1909:19, 23 May 2021 diff hist −129 Run of a sequence Correcting with \ge instead of > Tag: Reverted
2 May 2021
- 11:4511:45, 2 May 2021 diff hist 0 m K-sorted sequence math typo
28 April 2021
- 04:4204:42, 28 April 2021 diff hist +60 User:Arthur MILCHIOR No edit summary current
- 04:4104:41, 28 April 2021 diff hist +120 User:Arthur MILCHIOR →Algorithmic
- 04:1804:18, 28 April 2021 diff hist +32 m Run of a sequence Adding a category
- 04:1604:16, 28 April 2021 diff hist +194 Merge sort Natural merge sort is Runs-optimal
- 04:1504:15, 28 April 2021
diff hist +41 N
Long run of a sequence
←Redirected page to Run of a sequence#Long runsTag: New redirect
- 04:1404:14, 28 April 2021
diff hist +2,325 N
Run of a sequence
←Created page with 'In computer science, a ''run of a sequence'' is a longest non-decreasing range of the sequence. The '''number of runs''' of a sequence is the number of of i...'
27 April 2021
- 21:5221:52, 27 April 2021
diff hist +42 N
K-sorting
←Redirected page to K-sorted sequence#Algorithmscurrent Tag: New redirect
- 21:5021:50, 27 April 2021
diff hist +31 N
Roughly-sorted sequence
←Redirected page to K-sorted sequencecurrent Tag: New redirect
- 21:4921:49, 27 April 2021
diff hist +31 N
Nearly-sorted sequence
←Redirected page to K-sorted sequencecurrent Tag: New redirect
- 21:4821:48, 27 April 2021
diff hist +216 N
Talk:K-sorted sequence
←Created page with 'I found the DOI on https://dl.acm.org/doi/10.5555/70413.70419#sec-terms and don't understand why it do not work ~~~~'
- 21:4821:48, 27 April 2021
diff hist +8,426 N
K-sorted sequence
←Created page with 'In computer science, a '''nearly-sorted sequence''', also known as '''roughly-sorted sequence''' and as '''<math>k</math>-sorted sequence''' is a sequence wh...'
- 21:3521:35, 27 April 2021 diff hist +34 Comparison sort label to main link in pre-sorted
- 13:0413:04, 27 April 2021 diff hist +369 Comparison sort Adding a link to pre-sorted list.
- 11:4311:43, 27 April 2021 diff hist +29 m Adaptive heap sort →Measures of presortedness
- 03:2503:25, 27 April 2021 diff hist +105 Inversion (discrete mathematics) →Inversion number: indicate bound on the number of inversion
- 03:2203:22, 27 April 2021 diff hist +479 Inversion (discrete mathematics) Adding reference to Manilla, link to presortdness and examples
5 March 2021
- 10:5310:53, 5 March 2021 diff hist +214 Talk:International Women's Day →Links
20 February 2021
- 05:1905:19, 20 February 2021 diff hist +5 m List of Amazon products and services →Amazon Luna: add missing year
31 January 2020
- 09:5509:55, 31 January 2020 diff hist −51 User:Arthur MILCHIOR No edit summary
19 January 2020
- 08:5008:50, 19 January 2020 diff hist +168 Regular numerical predicate →Using recursion and patterns: Correction related to the order of quantification of a variable
- 08:3608:36, 19 January 2020 diff hist −2 m Regular numerical predicate →FO(\le,\mod)
18 January 2020
- 21:4821:48, 18 January 2020 diff hist +34 User:Arthur MILCHIOR →Semigroup theory: Adding Regular numerical predicate
- 14:0814:08, 18 January 2020
diff hist +11,863 N
Regular numerical predicate
←Created page with 'In computer science and mathematics more precisely in automata theory, model theory and formal languagea '''regular numerical predicate''' i...'
24 October 2019
- 00:5200:52, 24 October 2019 diff hist +12 Driving licence in the United Kingdom Broken link corrected (with paywalled link)
15 October 2019
- 17:4817:48, 15 October 2019 diff hist +193 Channel system (computer science) →Channel system and Turing machine
- 17:4517:45, 15 October 2019 diff hist +229 Channel system (computer science) →Step
28 September 2019
- 00:0700:07, 28 September 2019 diff hist +174 Difference bound matrix No edit summary
- 00:0600:06, 28 September 2019
diff hist +34 N
Uppaal model checker
←Redirected page to Uppaal Model Checkercurrent Tag: New redirect
- 00:0400:04, 28 September 2019 diff hist +84 DBM No edit summary
7 August 2019
- 14:1814:18, 7 August 2019 diff hist +335 Talk:Domain coloring →Explaining an image: new section
5 July 2019
- 23:1723:17, 5 July 2019 diff hist +1 m Channel system (computer science) →Looseness: syntax correction
4 May 2019
- 19:4619:46, 4 May 2019 diff hist +102 m Talk:Halting problem →Why the reversion: Signature
- 19:4519:45, 4 May 2019 diff hist +1,193 Talk:Halting problem →Why the reversion
- 19:3919:39, 4 May 2019 diff hist −34 Halting problem →Lossy computation: Correcting the citation
- 08:3108:31, 4 May 2019
diff hist +575
Halting problem
Some paragraph was removed. I asked in talk page why, the user was mentionned. No answer was given, thus I believe that there is no reason to remove this sourced information related to the halting problem
Undo
3 May 2019
- 03:4803:48, 3 May 2019 diff hist +1,969 Wikipedia:Reference desk/Mathematics →Does anybody here know, how Skolem arithmetic (i.e. the first order theory of multiplication of natural numbers) looks like?
2 May 2019
- 12:5912:59, 2 May 2019 diff hist +490 Wikipedia:Reference desk/Mathematics →Does anybody here know, how Skolem arithmetic (i.e. the first order theory of multiplication of natural numbers) looks like?
25 April 2019
- 22:0722:07, 25 April 2019 diff hist 0 m Semigroup typo
- 22:0222:02, 25 April 2019 diff hist +8 Clock (model checking) linking to the correct page
- 00:5700:57, 25 April 2019
diff hist +561 N
Talk:Clock (model checking)
←Created page with 'Hi, {{u|Narky Blert}}. You added «disambiguation needed» on «a finite conjunctionof atomic clock constraint or the constant "true" ». Which I guess mean...'
11 April 2019
- 13:3713:37, 11 April 2019 diff hist −26 Region (model checking) Some articles link to it (timed automata, zone (convex polytope))
8 April 2019
- 12:4712:47, 8 April 2019 diff hist −1 m Region (model checking) typo
