User contributions for Misof
A user with 77 edits. Account created on 5 April 2006.
15 March 2024
- 12:2012:20, 15 March 2024 diff hist +1 Nad Tatrou sa blýska Undoing vandalism, the "google translation" didn't even make sense Tag: Undo
- 12:1812:18, 15 March 2024 diff hist −1 Nad Tatrou sa blýska Undid revision 1185706729 by 82.78.75.115 (talk) Tag: Undo
3 August 2023
- 16:1316:13, 3 August 2023 diff hist −4 m Catrina Allen Fixed a link to point to the correct Val Jenkins
28 March 2022
- 16:1516:15, 28 March 2022 diff hist +1 m Jessica Fletcher →Background: fixed typo in her middle name
16 April 2021
- 21:2021:20, 16 April 2021 diff hist +16 m Talk:Counter-machine model →Fixing the description of Melzak's model
- 21:2021:20, 16 April 2021 diff hist +1,395 Talk:Counter-machine model No edit summary
- 21:0921:09, 16 April 2021 diff hist −275 Counter-machine model →1961: Melzak model: a single ternary instruction with addition and proper subtraction: Corrected a false sentence. Will explain more on the Talk page.
12 April 2021
- 15:4915:49, 12 April 2021 diff hist −51 m Alphanumericals →See also: removed a redundant link
14 December 2020
- 05:0005:00, 14 December 2020 diff hist +9 m Transitive reduction Slight improvement to phrasing. Notably, the "its" could be read as talking about a new transitive reduction of the transitive closure and not the original one.
- 04:5304:53, 14 December 2020 diff hist +21 Transitive reduction Fixed the definition. (Wow, how did this bug remain undetected? The second paragraph got it right but the first didn't. The Aho et al definition has equivalence, and it matters.)
14 August 2020
- 02:2302:23, 14 August 2020 diff hist +182 List of Latin legal terms Fixed the "a priori" and "a posteriori" entries as described on the Talk page (a few years ago) to match the actual meanings of those phrases. The new second sentence of each entry is inspired by the corresponding entry in West's Encyclopedia of American Law.
30 July 2020
- 11:3311:33, 30 July 2020 diff hist +9 m Vedem A better translation of the magazine title, implying the correct grammatical case.
6 February 2020
- 13:1013:10, 6 February 2020 diff hist +1 m Graph coloring →Exact algorithms: The exact complexity in Lawler's article is O((1+cbrt(3))^n), the article contains a typo in the value of the constant that got propagated here. Note that for O the exact value needs to be rounded *up*, hence 2.4423 and not 2.4422.
13 May 2019
- 22:1422:14, 13 May 2019 diff hist +53 Exact algorithm Fixed an incorrect statement that was too broad.
18 December 2017
- 08:4108:41, 18 December 2017 diff hist +21 Boolean satisfiability problem →3-satisfiability: fixed incorrect phrasing about little-oh of n
23 October 2016
- 13:1413:14, 23 October 2016 diff hist +119 Netpbm format →PPM example: made the comment more clear
8 October 2016
- 16:1916:19, 8 October 2016 diff hist −17 Unicity distance Latin alphabet is not the same as English alphabet, the "alphabet from the keyboard" with 26 characters is the modern English alphabet
21 July 2016
- 14:5814:58, 21 July 2016 diff hist +585 Talk:List of Latin legal terms No edit summary
8 August 2014
- 11:5511:55, 8 August 2014 diff hist 0 International Olympiad in Informatics →List of IOI websites and locations
1 August 2014
- 10:0510:05, 1 August 2014 diff hist +347 Talk:Narcissistic number No edit summary
- 09:4909:49, 1 August 2014 diff hist +658 Talk:Narcissistic number →"Formula": new section
- 09:4309:43, 1 August 2014 diff hist −308 Narcissistic number removed the "formula", more info on the talk page
7 July 2014
- 18:0018:00, 7 July 2014 diff hist +1 m Double acute accent typo fixed
23 May 2014
- 20:4420:44, 23 May 2014 diff hist +16 m Euler's theorem better wording: we do not care that the converse exists, we care that it is a true statement
- 20:3320:33, 23 May 2014 diff hist +6 m Internet Problem Solving Contest No edit summary
- 19:2519:25, 23 May 2014 diff hist +453 Alice and Bob added two alternate names (Pat, Vanna) and a reference showing that they are not made up
31 March 2014
- 08:4008:40, 31 March 2014 diff hist +42 Computable number made it more obvious that k is a function that depends on n; also, explicitly stated the signature of f
11 February 2014
- 07:3807:38, 11 February 2014 diff hist +3 -yllion fixed a formula
15 December 2011
- 20:5020:50, 15 December 2011 diff hist +306 Polyglot (computing) →External links: added one link, reordered the others according to number of languages, unified form of presentation
- 20:3420:34, 15 December 2011 diff hist +10 Fantômas (1964 film) corrected link
30 June 2011
- 11:4011:40, 30 June 2011 diff hist +116 International Collegiate Programming Contest added a link to the current judge software ; removed an irrelevant link to a programming contest not related to ICPC
- 11:3411:34, 30 June 2011 diff hist −5,395 ACM-ICPC World Finals ←Redirected page to ACM International Collegiate Programming Contest
21 April 2011
- 11:3111:31, 21 April 2011 diff hist +1 m Couplet corrected punctuation
18 April 2011
- 14:4914:49, 18 April 2011 diff hist +539 Talk:Steiner tree problem →Minimum energy / soap bubbles
18 March 2011
- 08:3708:37, 18 March 2011 diff hist +159 Euler's theorem Fixed the statement. Please read discussion before changing it again.
- 08:3108:31, 18 March 2011 diff hist 0 m Talk:Euler's theorem →Statement
- 08:3008:30, 18 March 2011 diff hist +1,051 Talk:Euler's theorem No edit summary
15 March 2011
- 09:4009:40, 15 March 2011 diff hist +39 Euler's theorem as can be seen from the linked RSA article, the text here was plain wrong
13 September 2010
- 10:3410:34, 13 September 2010 diff hist +72 Prüfer sequence fixed the initialization in the algorithm: in the beginning T is not a tree, there are no edges in T
24 August 2010
- 22:2022:20, 24 August 2010 diff hist +6 m User talk:Glenn L section format
- 22:1822:18, 24 August 2010 diff hist +1,307 User talk:Glenn L No edit summary
23 August 2010
- 20:3020:30, 23 August 2010 diff hist −83 International Olympiad in Informatics there were more cases when a country president was a honorary patron, this info is outdated
- 20:2920:29, 23 August 2010 diff hist +44 International Olympiad in Informatics No edit summary
- 19:4819:48, 23 August 2010 diff hist +229 Factorial →Rate of growth
- 19:3919:39, 23 August 2010 diff hist +1,288 Talk:Factorial →"A weak version that can easily be proved with..."
22 April 2010
- 15:2115:21, 22 April 2010 diff hist −117 Sophie's Choice deleted the bogus "Greek"
18 December 2009
17 December 2009
- 16:1316:13, 17 December 2009 diff hist +73 N User:Misof ←Created page with '[http://people.ksp.sk/~misof/aboutme.php?newlanguage=ENG Michal Forišek]' current
- 16:1016:10, 17 December 2009 diff hist +75 Context-free language →Nonclosure under intersection: fixed title, clarified, and corrected bugs in the second example (btw, previous edit was mine as well)
14 December 2009
- 09:5709:57, 14 December 2009 diff hist +11 m Primitive root modulo n →See also: fixed a link after the section linked to was edited