User contributions for Arthur MILCHIOR

Results for Arthur MILCHIOR talk block log uploads logs global block log global account filter log

A user with 881 edits. Account created on 28 April 2009.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

10:5610:56, 9 November 2024 diff hist +10 Shapley value →In terms of synergy: Explain the divider is the cardinal current Tags: Mobile edit Mobile web edit

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

05:3905:39, 24 May 2021 diff hist +1,035 Talk:Run of a sequence No edit summary

09:1909:19, 23 May 2021 diff hist −129 Run of a sequence Correcting with \ge instead of > Tag: Reverted

11:4511:45, 2 May 2021 diff hist 0 m K-sorted sequence math typo

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 runs Tag: 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...'

21:5221:52, 27 April 2021 diff hist +42 N K-sorting ←Redirected page to K-sorted sequence#Algorithms current Tag: New redirect
21:5021:50, 27 April 2021 diff hist +31 N Roughly-sorted sequence ←Redirected page to K-sorted sequence current Tag: New redirect
21:4921:49, 27 April 2021 diff hist +31 N Nearly-sorted sequence ←Redirected page to K-sorted sequence current 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

10:5310:53, 5 March 2021 diff hist +214 Talk:International Women's Day →Links

05:1905:19, 20 February 2021 diff hist +5 m List of Amazon products and services →Amazon Luna: add missing year

09:5509:55, 31 January 2020 diff hist −51 User:Arthur MILCHIOR No edit summary

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)

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 language a '''regular numerical predicate''' i...'

00:5200:52, 24 October 2019 diff hist +12 Driving licence in the United Kingdom Broken link corrected (with paywalled link)

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

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 Checker current Tag: New redirect
00:0400:04, 28 September 2019 diff hist +84 DBM No edit summary

14:1814:18, 7 August 2019 diff hist +335 Talk:Domain coloring →Explaining an image: new section

23:1723:17, 5 July 2019 diff hist +1 m Channel system (computer science) →Looseness: syntax correction

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 Tag: Undo

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?

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?

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 conjunction of atomic clock constraint or the constant "true" ». Which I guess mean...'

13:3713:37, 11 April 2019 diff hist −26 Region (model checking) Some articles link to it (timed automata, zone (convex polytope))

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Arthur_MILCHIOR"