Changes related to "Termination analysis"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
18 June 2013
- (diff | hist) . . Natural number; 17:03 . . (-159) . . Arthur Rubin (talk | contribs) (Undid revision 560456187 by 18.189.44.249 (talk) actually, that seems untrue, and requires a source)
- (diff | hist) . . Natural number; 14:42 . . (+159) . . 18.189.44.249 (talk) (→Algebraic properties)
- (diff | hist) . . Algorithm; 12:45 . . (+11) . . 79.36.57.223 (talk) (→External links)
- (diff | hist) . . Algorithm; 12:43 . . (+90) . . 79.36.57.223 (talk) (→External links)
- (diff | hist) . . m Counter; 08:32 . . (+4) . . Prasanna4s (talk | contribs)
- (diff | hist) . . Computer program; 01:52 . . (+1) . . 125.60.234.231 (talk) (→Manual programming)
- (diff | hist) . . m Computer science; 01:20 . . (-13) . . Technopat (talk | contribs) (Reverted edit(s) by 68.117.247.86 identified as test/vandalism using STiki)
- (diff | hist) . . Computer science; 01:16 . . (+4) . . 68.117.247.86 (talk) (ive added a few words)
- (diff | hist) . . Computer science; 01:14 . . (+9) . . 68.117.247.86 (talk)
17 June 2013
- (diff | hist) . . m Natural number; 14:40 . . (0) . . EmilJ (talk | contribs) (Reverted edits by 112.200.124.51 (talk) to last version by Arthur Rubin)
- (diff | hist) . . Natural number; 14:31 . . (0) . . 112.200.124.51 (talk)
- (diff | hist) . . Mathematical proof; 10:12 . . (+26) . . DesolateReality (talk | contribs) (→Proof by contraposition)
- (diff | hist) . . Mathematical proof; 10:08 . . (-20) . . DesolateReality (talk | contribs) (→Nonconstructive proof)
- (diff | hist) . . m Mathematical proof; 10:05 . . (+13) . . DesolateReality (talk | contribs) (→Proof by contraposition)
- (diff | hist) . . Mathematical proof; 09:59 . . (-142) . . DesolateReality (talk | contribs) (→Methods of proof)
- (diff | hist) . . m Programming language; 09:54 . . (-29) . . DMacks (talk | contribs) (Reverted edits by 203.131.153.140 (talk) to last version by Compfreak7)
- (diff | hist) . . Programming language; 09:52 . . (+29) . . 203.131.153.140 (talk)
- (diff | hist) . . Mathematical proof; 09:50 . . (-44) . . DesolateReality (talk | contribs) (→Proof by transposition)
- (diff | hist) . . Mathematical proof; 09:47 . . (-88) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . Mathematical proof; 09:37 . . (-18) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . m Mathematical proof; 09:33 . . (+3) . . DesolateReality (talk | contribs)
- (diff | hist) . . m Mathematical proof; 07:06 . . (-10) . . DesolateReality (talk | contribs) (→Proof by mathematical induction)
- (diff | hist) . . Mathematical proof; 07:02 . . (+1) . . DesolateReality (talk | contribs) (→Proof by mathematical induction)
- (diff | hist) . . Mathematical proof; 06:59 . . (-52) . . DesolateReality (talk | contribs) (→Proof by mathematical induction)
- (diff | hist) . . Mathematical proof; 06:58 . . (-8) . . DesolateReality (talk | contribs) (→Direct proof)
- (diff | hist) . . Mathematical proof; 06:54 . . (+49) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . Mathematical proof; 06:48 . . (+256) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . m Mathematical proof; 06:34 . . (-1) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . m Mathematical proof; 06:32 . . (+4) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . Mathematical proof; 06:31 . . (-117) . . DesolateReality (talk | contribs) (→Nature and purpose)
- (diff | hist) . . Mathematical proof; 06:18 . . (+74) . . DesolateReality (talk | contribs)
- (diff | hist) . . m Algorithm; 06:07 . . (+6) . . Widr (talk | contribs) (Reverted edits by 202.166.198.161 (talk) to last version by Satellizer)
- (diff | hist) . . Algorithm; 06:06 . . (-6) . . 202.166.198.161 (talk) (→Computer algorithms)
16 June 2013
- (diff | hist) . . m Mathematical proof; 13:59 . . (0) . . DesolateReality (talk | contribs)
- (diff | hist) . . Mathematical proof; 13:50 . . (-4) . . DesolateReality (talk | contribs)
- (diff | hist) . . Mathematical proof; 13:39 . . (+23) . . DesolateReality (talk | contribs)
- (diff | hist) . . m Algorithm; 02:22 . . (-2) . . Satellizer (talk | contribs) (Reverted edits by 112.210.161.255 (talk) to last revision by Wavelength (HG))
- (diff | hist) . . Algorithm; 02:21 . . (+2) . . 112.210.161.255 (talk)
- (diff | hist) . . Natural number; 02:14 . . (+54) . . Arthur Rubin (talk | contribs) (Undid revision 550144568 by 84.2.19.69 (talk) the reordering may make sense, but the "total ordering" example is completely bogus)
15 June 2013
- (diff | hist) . . Natural number; 20:51 . . (0) . . 72.46.218.124 (talk)
- (diff | hist) . . Natural number; 20:51 . . (0) . . 72.46.218.124 (talk)
- (diff | hist) . . Natural number; 20:50 . . (+7) . . 72.46.218.124 (talk)
- (diff | hist) . . Natural number; 20:48 . . (-7) . . 72.46.218.124 (talk)
- (diff | hist) . . m Computer program; 14:39 . . (-162) . . Yintan (talk | contribs) (Reverted edits by 5.69.165.2 (talk): addition of unsourced content (HG))
- (diff | hist) . . Computer program; 14:39 . . (+162) . . 5.69.165.2 (talk)
- (diff | hist) . . Computer science; 14:06 . . (-56) . . Kgfleischmann (talk | contribs) (questionable source; ill formed parameter)
14 June 2013
- (diff | hist) . . Algorithm; 22:37 . . (0) . . Wavelength (talk | contribs) (alphabetizing list of internal links—WP:ALSO)
- (diff | hist) . . m Algorithm; 15:05 . . (-44) . . Mike Rosoft (talk | contribs) (Reverted edits by 132.3.49.81 (talk) to last revision by Bgwhite (HG))
- (diff | hist) . . Algorithm; 15:05 . . (+44) . . 132.3.49.81 (talk)
- (diff | hist) . . Computer science; 14:07 . . (+44) . . 中村匡孝 (talk | contribs) (→Further reading)
