User contributions for Helptry
Results for Helptry talk block log uploads logs global block log global account filter log
A user with 125 edits. Account created on 8 January 2010.
12 June 2021
- 21:2821:28, 12 June 2021 diff hist −8 m Set-builder notation typo Tags: Reverted 2017 wikitext editor
- 21:2621:26, 12 June 2021 diff hist +4,019 Set-builder notation Restructuring, with emphasis on avoiding paradoxes of set theory: show use of a bounding set in all cases as first example notation, rename section to emphasize that an existing set is needed when using the axiom schema of specification (separation), add section for axiom schema of replacement, shift existing paragraphs to the sections they are related to, rephrase, add formal ellipsis notation (two dots), in a new section about ellipsis syntax (which is now under predicates, not enumeration). Tags: Reverted 2017 wikitext editor
30 May 2021
- 23:0823:08, 30 May 2021 diff hist −64 GNU Binutils →Commands: remove ldd from list of tools, because ldd is not part of GNU binutils, as confirmed by the binutils website and documentation Tag: 2017 wikitext editor
25 May 2021
- 20:5220:52, 25 May 2021 diff hist +116 French Institute for Research in Computer Science and Automation add Zenon automated theorem prover Tag: 2017 wikitext editor
2 May 2021
- 06:2306:23, 2 May 2021 diff hist +407 Pip (package manager) PyPI includes only public Python packages: remove phrase that says otherwise, mention that pip can install also from other package indices Tag: 2017 wikitext editor
- 05:5405:54, 2 May 2021 diff hist +173 m Pip (package manager) Update latest release version of pip to 21.1.1 and link also to PyPI page for pip release history Tag: 2017 wikitext editor
21 April 2021
28 March 2021
- 15:4415:44, 28 March 2021 diff hist +71 Number sign No edit summary Tag: 2017 wikitext editor
27 March 2021
- 02:5302:53, 27 March 2021 diff hist +3,731 Binary decision diagram →add section about complemented edges, use mathematics operators for Boolean expressions (\vee, \wedge, \neg), rephrase sentences
14 September 2017
- 22:5422:54, 14 September 2017 diff hist +149 Automated theorem proving →External links: link to list of tools
- 22:5222:52, 14 September 2017 diff hist +128 Proof assistant →External links: add list of tools
22 May 2017
- 20:2020:20, 22 May 2017 diff hist −41 Proximity-1 Space Link Protocol update broken links
25 November 2016
- 16:1216:12, 25 November 2016 diff hist +2 Rule of inference →fix typo in: Example: Hilbert systems for two propositional logics
26 September 2016
16 November 2014
- 02:4502:45, 16 November 2014 diff hist +342 Barrel shifter add ref to Kroening-Strichman
15 October 2014
- 19:2819:28, 15 October 2014 diff hist +113 Talk:I-Logix reply to comment on onjectivity
1 July 2014
- 00:2200:22, 1 July 2014 diff hist +749 Moore machine →correct mistake: Mealy machines cannot be converted to equivalent Moore machines
1 March 2014
28 February 2014
- 20:4220:42, 28 February 2014 diff hist −3 Minkowski addition Undid revision 597570858 by Helptry (talk)
- 20:4120:41, 28 February 2014 diff hist +3 Minkowski addition fix typo in Minkowski difference definition
25 February 2014
- 12:0012:00, 25 February 2014 diff hist +24 Chrestomathy fix Greek translation
18 November 2013
- 02:1902:19, 18 November 2013 diff hist +36 Hybrid automaton →Formal Definition - linked to multidigraphs
16 November 2013
- 04:0704:07, 16 November 2013 diff hist 0 Functional Mock-up Interface →Tools support - Qtronic broken link fix
8 November 2013
- 09:4909:49, 8 November 2013 diff hist +131 List of computer algebra systems add Mathics
19 October 2013
- 02:5302:53, 19 October 2013 diff hist +159 Degree of a continuous mapping link topdeg
6 October 2013
- 04:5904:59, 6 October 2013 diff hist +54 m Formal verification →See also
29 September 2013
- 00:0000:00, 29 September 2013 diff hist +5 m Considered harmful fixed broken link
15 September 2013
13 September 2013
- 06:2306:23, 13 September 2013 diff hist +2,444 State diagram →State diagrams versus flowcharts - rewrote paragraph to discuss program graph unfolding
12 September 2013
- 21:5421:54, 12 September 2013 diff hist +2 Bolometer No edit summary
- 21:5321:53, 12 September 2013 diff hist +106 m Bolometer added Greek etymology Tag: Visual edit
29 August 2013
- 23:0423:04, 29 August 2013 diff hist +37 Promela →added name
25 August 2013
- 09:3409:34, 25 August 2013 diff hist +45 Gerard J. Holzmann →added doctoral advisors
- 09:1609:16, 25 August 2013 diff hist +17 m Gerard J. Holzmann →fixed Info box to Infobox
9 June 2013
- 07:5807:58, 9 June 2013 diff hist +178 Dennis Ritchie →Death and legacy - added image already in Usenix page
24 April 2013
19 February 2013
- 03:0003:00, 19 February 2013 diff hist +687 Hamiltonian mechanics →Deriving Hamilton's equations - expanded the 2nd to last step, to make clearer the independence of the two equations
- 01:1801:18, 19 February 2013 diff hist +4 m Hamiltonian mechanics →changed derivatives from \frac{d}{dt}p(t) etc to \frac{dp}{dt}(t) because the first implies differentiation with respect to the value p
29 November 2012
- 03:2803:28, 29 November 2012 diff hist +840 Square-integrable function →added details about the distinctions between complete metric, Banach and Hilbert spaces.
- 03:2103:21, 29 November 2012 diff hist +1,050 Talk:Square-integrable function →answered question
30 July 2012
- 11:2111:21, 30 July 2012 diff hist +28 m Maurice Griffiths →changed "is" to "was", added dates in parentheses
23 May 2012
1 April 2012
- 01:1701:17, 1 April 2012 diff hist +4 Symplectic vector space →References - fixed Jerrold Marsden name and linked to him
4 November 2011
- 00:0700:07, 4 November 2011 diff hist −2 User:Helptry No edit summary
- 00:0400:04, 4 November 2011 diff hist −21 User:Helptry No edit summary
- 00:0300:03, 4 November 2011 diff hist +21 User:Helptry No edit summary
- 00:0100:01, 4 November 2011 diff hist 0 User:Helptry No edit summary
3 November 2011
- 23:5923:59, 3 November 2011 diff hist +3,980 N User:Helptry/Sandbox →started work on NF
- 23:2123:21, 3 November 2011 diff hist +16 User:Helptry No edit summary
