Home
•
Search
•
Translate
For
Houseofwealth
talk
block log
uploads
logs
global account
filter log
A user with 46 edits. Account created on 1 August 2007.
Search for contributions
show
hide
⧼contribs-top⧽
Username, IP address or CIDR range:
Namespace:
all
(Article)
Talk
User
User talk
Wikipedia
Wikipedia talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Portal
Portal talk
Draft
Draft talk
TimedText
TimedText talk
Module
Module talk
Invert selection
Associated namespace
Tag
filter:
2017 wikitext editor
Advanced mobile edit
Android app edit
AntiVandal
App description add
App description change
App description translate
App full source
App rollback
App section source
App suggested edit
App undo
Articles for deletion template removed
Automatic insertion of extraneous formatting
AWB
Barnsworth [1.0]
Blanking
blanking
Bot in trial
bup 2 [1.0]
campaign-external-machine-translation
canned edit summary
categories removed
CD
changing height and/or weight
Citation bot [1.1.0]
Citation Bot [1.2.0]
citing a blog or free web host
COI template removed
Community Configuration
condition limit reached
content model change
content sourced to vanity press
contentious topics alert
ContentTranslation
contenttranslation-needcheck
ContentTranslation2
ContentTranslation: High unmodified machine translation usage
Contest or editathon
copyright violation template removed
Correct typos in one click [1.0]
Correct typos in one click [1.1]
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
DAB Mechanic [1.0]
dashboard-testing.wikiedu.org [1.0]
dashboard-testing.wikiedu.org [2.0]
dashboard.wikiedu.org [1.0]
dashboard.wikiedu.org [1.2]
dashboard.wikiedu.org [2.0]
dashboard.wikiedu.org [2.2]
dashboard.wikiedu.org [2.3]
dashboard.wikiedu.org account-creation dev [1.0]
dashboard.wikiedu.org dev [0.4.11]
dashboard.wikiedu.org dev [0.4.2]
dashboard.wikiedu.org dev [0.4.3]
dashboard.wikiedu.org dev [0.4.4]
dashboard.wikiedu.org dev [0.4.5]
dashboard.wikiedu.org dev [0.4.7]
dashboard.wikiedu.org dev [0.4.8]
dashboard.wikiedu.org dev [0.4]
dashboard.wikiedu.org dev [2.0]
dashboard.wikiedu.org dev [2.1]
demo-oauthratelimiter-3 [1.0]
Deputy
DiBabel [1.2]
Disambiguation links added
disambiguation template removed
discussiontools (hidden tag)
discussiontools-added-comment (hidden tag)
discussiontools-source (hidden tag)
discussiontools-source-enhanced (hidden tag)
discussiontools-visual (hidden tag)
Dispenser [1.0]
Dispenser [2.4]
Downstream Pull [0.1]
draft or userpage link
Edit Check (references) activated
Edit Check (references) declined (uncertain)
editcheck-newcontent (hidden tag)
editcheck-newreference (hidden tag)
editcheck-references (hidden tag)
editProtectedHelper
Education Dashboard development - awight [1.0]
English Wikipedia Account Creation Assistance Tool [2.0]
External link added to disambiguation page
extraneous markup
featured article or good article template added or removed
Find link [1.0]
Fixed lint errors
Fountain [0.1.3]
Fountain Test [1.1]
gabinaluz+app@gmail.com [1.0]
harv-error
Huggle
IABot [1.0]
IABotManagementConsole (Personal Debug Consumer) [1.0]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
IABotManagementConsole [1.3]
image template modification
Incorrectly formatted external link or image
Invalid TimedText edit
iOS app edit
Jonathan_at_WINTR_7 [1.0]
KenBurnsEffect tool [1.1]
large non-free file
large plot addition
large unwikified new article
LCA Tools [1.0]
LCA Tools [1.5]
Localhost [1.0]
Manual revert
Mass pronoun change
MassMessage delivery
Medha_Bansal_intern_at_WikiEduDashboard [1.0]
mentor list change
Mentorship module question
Mentorship panel question
missing file added
missingredirectsproject [1.0]
Mobile app edit
Mobile edit
Mobile web edit
Modified by FileImporter
moveToDraft
MTC-Web for local dev/testing [1.0]
MTCWeb-Dev [1.0]
New redirect
New topic
new user modifying archives
new user moving page out of userspace
Newcomer task
Newcomer task: copyedit
Newcomer task: expand
Newcomer task: links
Newcomer task: references
Newcomer task: update
Non-autoconfirmed user rapidly reverting edits
non-English content
nowiki added
OAbot [1.0]
OAbot [2.1]
OAuth Uploader [1.0]
outreachdashboard.wmflabs.org [2.0]
outreachdashboard.wmflabs.org [2.1]
PageTriage
Parliament edits
PAWS [1.2]
PAWS [2.1]
paws [2.2]
possible autobiography or conflict of interest
possible birth or death date change
possible BLP issue or vandalism
possible conflict of interest
possible cut and paste move or recreation
possible MOS:ETHNICITY violation
Possible self promotion in user or draftspace
Possible self promotion in userspace
possible unreferenced addition to BLP
possible userspace spam
possible vandalism
possible WP:BLPCRIME issue
possibly inaccurate edit summary
ProveIt edit
QuickCategories [1.0]
QuickCategories [1.1]
Redirect target changed
reference list removal
references removed
removal of Category:Living People
Removed redirect
repeated addition of external links by non-autoconfirmed user
Replaced
Reply
Reverted
reverting anti-vandal bot
review edit
Rollback
RW
section blanking
self-renaming or bad user talk move
Shortdesc helper
shouting
Snuggle (English Wikipedia) [1.0.0]
speedy deletion template removed
STiki
Suggestor [0.0.1]
SWViewer [1.0]
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
Takedown Tools [1.0]
Talk banner shell conversion
talk page blanking
Text added at end of page
TorProxy [0.1]
TorProxy [0.2]
Twinkle
U.S. Congress edit
Ultraviolet
Uncategorized redirect
Undo
Unexpected #REDIRECT markup
unsourced AFC submission
use of deprecated (unreliable) source
use of predatory open access journal
User Analysis Tool [1.0]
very short new article
Visual edit
Visual edit: Check
Visual edit: Switched
Weekipedia v3 [1.0]
Weekipedia2 [1.0]
wiki-file-transfer [1.0]
wikieditor (hidden tag)
wikiedu Assignment Wizard 2.0 Teting [1.0]
wikiedu Assignment Wizard [1.0]
wikiedu.org Assignment Design Wizard (testing) [0.99]
wikiedu.org Assignment Design Wizard [1.0.1]
wikiedu.org Assignment Design Wizard [1.0.2]
WikiEduDashboard NTDB [1.2]
WikiEduDashboard NTDB3 [1.0]
WikiEduDashboard NTDB4 [1.0]
WikiEduDashboard NTDB5 [1.0]
WikiEduWizard NTDB [1.2]
Wikifile Transfer [1.0]
Wikifile Transfer [2.0]
Wikifile Transfer [4.0]
WikiLeaks
wikilinks removed
WikiLoop Battlefield
WikiLoop Battlefield Dev Local [2.0.0]
WikiLoop Battlefield on WMF Cloud VPS [1.0]
WikiLoop Battlefield Prod [2.2.1-beta]
WikiLoop DoubleCheck WMF Cloud VPS (2020-07-13 version) [4.1.0]
wikilove
WINTR Wikiedu Dashboard Local Test 3 [1.0]
WINTR Wikiedu Wizard Local Test [1.0]
WPCleaner
yabbr [1.3]
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
Search
11 February 2021
18:39
18:39, 11 February 2021
diff
hist
+238
Talk:Model-based design
added a q
21 January 2021
22:59
22:59, 21 January 2021
diff
hist
+219
Talk:Probabilistic programming
comment on this article
30 June 2020
05:05
05:05, 30 June 2020
diff
hist
+523
Talk:Visitor pattern
→C# "classic" example doesn't use visitor pattern
11 March 2020
19:40
19:40, 11 March 2020
diff
hist
+100
m
Talk:Subgraph isomorphism problem
→Incomplete proof that subgraph isomorphism is NP-complete
19:40
19:40, 11 March 2020
diff
hist
+373
Talk:Subgraph isomorphism problem
→Incomplete proof that subgraph isomorphism is NP-complete
:
new section
16 January 2020
01:49
01:49, 16 January 2020
diff
hist
+139
Talk:Differentiable function
missing definition of relatively smooth
01:12
01:12, 16 January 2020
diff
hist
+578
Talk:Continuous function
connection with Scott continuity?
8 April 2019
18:11
18:11, 8 April 2019
diff
hist
+668
Talk:Producer–consumer problem
added request for clarification
12 February 2019
21:57
21:57, 12 February 2019
diff
hist
+759
Talk:Critical section
need clarification
21:37
21:37, 12 February 2019
diff
hist
−770
Talk:Producer–consumer problem
removed edit
21:29
21:29, 12 February 2019
diff
hist
+102
m
Talk:Producer–consumer problem
→Untitled
21:27
21:27, 12 February 2019
diff
hist
+669
Talk:Producer–consumer problem
proposed rewrite of semaphore based solution
9 February 2019
19:17
19:17, 9 February 2019
diff
hist
+148
Talk:Monadic predicate calculus
added a question
8 February 2019
20:33
20:33, 8 February 2019
diff
hist
+336
m
Talk:Bisimulation
added request for clarification
15 December 2016
18:46
18:46, 15 December 2016
diff
hist
+361
Talk:Mmap
No edit summary
18:41
18:41, 15 December 2016
diff
hist
+138
Talk:Mmap
No edit summary
21 June 2016
23:01
23:01, 21 June 2016
diff
hist
+148
Talk:PackBot
No edit summary
13 March 2015
19:29
19:29, 13 March 2015
diff
hist
+6
m
Predicate transformer semantics
→Assignment
19:15
19:15, 13 March 2015
diff
hist
+1,166
Predicate transformer semantics
→While loop
:
provided definition for weakest liberal precondition (partial correctness)
5 March 2015
01:12
01:12, 5 March 2015
diff
hist
+99
m
Talk:Predicate transformer semantics
→Stongest postconditions are missing a motivation
01:11
01:11, 5 March 2015
diff
hist
+346
Talk:Predicate transformer semantics
→Stongest postconditions are missing a motivation
:
new section
01:04
01:04, 5 March 2015
diff
hist
+378
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
00:56
00:56, 5 March 2015
diff
hist
+2
m
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
00:56
00:56, 5 March 2015
diff
hist
+1,064
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
:
new section
13 May 2014
21:10
21:10, 13 May 2014
diff
hist
+1,015
Talk:First-order logic
→Question about interpreting formula with free variables
:
new section
21 February 2013
04:31
04:31, 21 February 2013
diff
hist
+1,018
Talk:Applied mathematics
No edit summary
6 September 2012
20:12
20:12, 6 September 2012
diff
hist
+481
Talk:Dynamic programming
No edit summary
20:07
20:07, 6 September 2012
diff
hist
+268
Talk:Dynamic programming
→And Prolog
13 May 2011
00:42
00:42, 13 May 2011
diff
hist
+267
Talk:Job-shop problem
No edit summary
21 March 2011
15:48
15:48, 21 March 2011
diff
hist
+1,014
Talk:Nuclear meltdown
explanation of bias in the article
20 February 2010
07:26
07:26, 20 February 2010
diff
hist
+37
Talk:Disjunctive normal form
No edit summary
07:18
07:18, 20 February 2010
diff
hist
+554
Talk:Disjunctive normal form
No edit summary
28 April 2009
20:11
20:11, 28 April 2009
diff
hist
+649
Talk:Automatic programming
→Merge
15 April 2008
00:39
00:39, 15 April 2008
diff
hist
+500
Talk:Peano axioms
No edit summary
00:32
00:32, 15 April 2008
diff
hist
+392
Talk:Peano axioms
No edit summary
28 February 2008
17:22
17:22, 28 February 2008
diff
hist
+188
Pseudo-polynomial time
added reference to strongly NP-complete problems
17:16
17:16, 28 February 2008
diff
hist
+259
Talk:Pseudo-polynomial time
No edit summary
26 February 2008
20:41
20:41, 26 February 2008
diff
hist
+171
Pseudo-polynomial time
You only need to test numbers up to n/2 for primality. Minor rewording of explanation to bring out the "a-ha"
20:27
20:27, 26 February 2008
diff
hist
+233
N
Talk:Pseudo-polynomial time
←
Created page with 'Shouldn't there be cross reference between this and the page on
Strongly NP-complete
since they are two sides of the same coin? ~~~~'
06:00
06:00, 26 February 2008
diff
hist
+102
Talk:Renaissance
→Not just Greek works
06:00
06:00, 26 February 2008
diff
hist
+452
Talk:Renaissance
No edit summary
05:55
05:55, 26 February 2008
diff
hist
+201
Renaissance
added reference to earlier Indian work upon which Muslim works were based
19 December 2007
23:16
23:16, 19 December 2007
diff
hist
+143
Talk:Heuristic algorithm
→Reference
30 October 2007
17:58
17:58, 30 October 2007
diff
hist
+192
Talk:Axiom of choice
→Question
25 October 2007
19:45
19:45, 25 October 2007
diff
hist
+225
Talk:Axiom of choice
→Question
1 August 2007
18:31
18:31, 1 August 2007
diff
hist
+83
Supremum
→Greatest elements
For
Houseofwealth
talk
block log
uploads
logs
global account
filter log
A user with 46 edits. Account created on 1 August 2007.
Search for contributions
show
hide
⧼contribs-top⧽
Username, IP address or CIDR range:
Namespace:
all
(Article)
Talk
User
User talk
Wikipedia
Wikipedia talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Portal
Portal talk
Draft
Draft talk
TimedText
TimedText talk
Module
Module talk
Invert selection
Associated namespace
Tag
filter:
2017 wikitext editor
Advanced mobile edit
Android app edit
AntiVandal
App description add
App description change
App description translate
App full source
App rollback
App section source
App suggested edit
App undo
Articles for deletion template removed
Automatic insertion of extraneous formatting
AWB
Barnsworth [1.0]
Blanking
blanking
Bot in trial
bup 2 [1.0]
campaign-external-machine-translation
canned edit summary
categories removed
CD
changing height and/or weight
Citation bot [1.1.0]
Citation Bot [1.2.0]
citing a blog or free web host
COI template removed
Community Configuration
condition limit reached
content model change
content sourced to vanity press
contentious topics alert
ContentTranslation
contenttranslation-needcheck
ContentTranslation2
ContentTranslation: High unmodified machine translation usage
Contest or editathon
copyright violation template removed
Correct typos in one click [1.0]
Correct typos in one click [1.1]
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
DAB Mechanic [1.0]
dashboard-testing.wikiedu.org [1.0]
dashboard-testing.wikiedu.org [2.0]
dashboard.wikiedu.org [1.0]
dashboard.wikiedu.org [1.2]
dashboard.wikiedu.org [2.0]
dashboard.wikiedu.org [2.2]
dashboard.wikiedu.org [2.3]
dashboard.wikiedu.org account-creation dev [1.0]
dashboard.wikiedu.org dev [0.4.11]
dashboard.wikiedu.org dev [0.4.2]
dashboard.wikiedu.org dev [0.4.3]
dashboard.wikiedu.org dev [0.4.4]
dashboard.wikiedu.org dev [0.4.5]
dashboard.wikiedu.org dev [0.4.7]
dashboard.wikiedu.org dev [0.4.8]
dashboard.wikiedu.org dev [0.4]
dashboard.wikiedu.org dev [2.0]
dashboard.wikiedu.org dev [2.1]
demo-oauthratelimiter-3 [1.0]
Deputy
DiBabel [1.2]
Disambiguation links added
disambiguation template removed
discussiontools (hidden tag)
discussiontools-added-comment (hidden tag)
discussiontools-source (hidden tag)
discussiontools-source-enhanced (hidden tag)
discussiontools-visual (hidden tag)
Dispenser [1.0]
Dispenser [2.4]
Downstream Pull [0.1]
draft or userpage link
Edit Check (references) activated
Edit Check (references) declined (uncertain)
editcheck-newcontent (hidden tag)
editcheck-newreference (hidden tag)
editcheck-references (hidden tag)
editProtectedHelper
Education Dashboard development - awight [1.0]
English Wikipedia Account Creation Assistance Tool [2.0]
External link added to disambiguation page
extraneous markup
featured article or good article template added or removed
Find link [1.0]
Fixed lint errors
Fountain [0.1.3]
Fountain Test [1.1]
gabinaluz+app@gmail.com [1.0]
harv-error
Huggle
IABot [1.0]
IABotManagementConsole (Personal Debug Consumer) [1.0]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
IABotManagementConsole [1.3]
image template modification
Incorrectly formatted external link or image
Invalid TimedText edit
iOS app edit
Jonathan_at_WINTR_7 [1.0]
KenBurnsEffect tool [1.1]
large non-free file
large plot addition
large unwikified new article
LCA Tools [1.0]
LCA Tools [1.5]
Localhost [1.0]
Manual revert
Mass pronoun change
MassMessage delivery
Medha_Bansal_intern_at_WikiEduDashboard [1.0]
mentor list change
Mentorship module question
Mentorship panel question
missing file added
missingredirectsproject [1.0]
Mobile app edit
Mobile edit
Mobile web edit
Modified by FileImporter
moveToDraft
MTC-Web for local dev/testing [1.0]
MTCWeb-Dev [1.0]
New redirect
New topic
new user modifying archives
new user moving page out of userspace
Newcomer task
Newcomer task: copyedit
Newcomer task: expand
Newcomer task: links
Newcomer task: references
Newcomer task: update
Non-autoconfirmed user rapidly reverting edits
non-English content
nowiki added
OAbot [1.0]
OAbot [2.1]
OAuth Uploader [1.0]
outreachdashboard.wmflabs.org [2.0]
outreachdashboard.wmflabs.org [2.1]
PageTriage
Parliament edits
PAWS [1.2]
PAWS [2.1]
paws [2.2]
possible autobiography or conflict of interest
possible birth or death date change
possible BLP issue or vandalism
possible conflict of interest
possible cut and paste move or recreation
possible MOS:ETHNICITY violation
Possible self promotion in user or draftspace
Possible self promotion in userspace
possible unreferenced addition to BLP
possible userspace spam
possible vandalism
possible WP:BLPCRIME issue
possibly inaccurate edit summary
ProveIt edit
QuickCategories [1.0]
QuickCategories [1.1]
Redirect target changed
reference list removal
references removed
removal of Category:Living People
Removed redirect
repeated addition of external links by non-autoconfirmed user
Replaced
Reply
Reverted
reverting anti-vandal bot
review edit
Rollback
RW
section blanking
self-renaming or bad user talk move
Shortdesc helper
shouting
Snuggle (English Wikipedia) [1.0.0]
speedy deletion template removed
STiki
Suggestor [0.0.1]
SWViewer [1.0]
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
Takedown Tools [1.0]
Talk banner shell conversion
talk page blanking
Text added at end of page
TorProxy [0.1]
TorProxy [0.2]
Twinkle
U.S. Congress edit
Ultraviolet
Uncategorized redirect
Undo
Unexpected #REDIRECT markup
unsourced AFC submission
use of deprecated (unreliable) source
use of predatory open access journal
User Analysis Tool [1.0]
very short new article
Visual edit
Visual edit: Check
Visual edit: Switched
Weekipedia v3 [1.0]
Weekipedia2 [1.0]
wiki-file-transfer [1.0]
wikieditor (hidden tag)
wikiedu Assignment Wizard 2.0 Teting [1.0]
wikiedu Assignment Wizard [1.0]
wikiedu.org Assignment Design Wizard (testing) [0.99]
wikiedu.org Assignment Design Wizard [1.0.1]
wikiedu.org Assignment Design Wizard [1.0.2]
WikiEduDashboard NTDB [1.2]
WikiEduDashboard NTDB3 [1.0]
WikiEduDashboard NTDB4 [1.0]
WikiEduDashboard NTDB5 [1.0]
WikiEduWizard NTDB [1.2]
Wikifile Transfer [1.0]
Wikifile Transfer [2.0]
Wikifile Transfer [4.0]
WikiLeaks
wikilinks removed
WikiLoop Battlefield
WikiLoop Battlefield Dev Local [2.0.0]
WikiLoop Battlefield on WMF Cloud VPS [1.0]
WikiLoop Battlefield Prod [2.2.1-beta]
WikiLoop DoubleCheck WMF Cloud VPS (2020-07-13 version) [4.1.0]
wikilove
WINTR Wikiedu Dashboard Local Test 3 [1.0]
WINTR Wikiedu Wizard Local Test [1.0]
WPCleaner
yabbr [1.3]
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
Search
11 February 2021
18:39
18:39, 11 February 2021
diff
hist
+238
Talk:Model-based design
added a q
21 January 2021
22:59
22:59, 21 January 2021
diff
hist
+219
Talk:Probabilistic programming
comment on this article
30 June 2020
05:05
05:05, 30 June 2020
diff
hist
+523
Talk:Visitor pattern
→C# "classic" example doesn't use visitor pattern
11 March 2020
19:40
19:40, 11 March 2020
diff
hist
+100
m
Talk:Subgraph isomorphism problem
→Incomplete proof that subgraph isomorphism is NP-complete
19:40
19:40, 11 March 2020
diff
hist
+373
Talk:Subgraph isomorphism problem
→Incomplete proof that subgraph isomorphism is NP-complete
:
new section
16 January 2020
01:49
01:49, 16 January 2020
diff
hist
+139
Talk:Differentiable function
missing definition of relatively smooth
01:12
01:12, 16 January 2020
diff
hist
+578
Talk:Continuous function
connection with Scott continuity?
8 April 2019
18:11
18:11, 8 April 2019
diff
hist
+668
Talk:Producer–consumer problem
added request for clarification
12 February 2019
21:57
21:57, 12 February 2019
diff
hist
+759
Talk:Critical section
need clarification
21:37
21:37, 12 February 2019
diff
hist
−770
Talk:Producer–consumer problem
removed edit
21:29
21:29, 12 February 2019
diff
hist
+102
m
Talk:Producer–consumer problem
→Untitled
21:27
21:27, 12 February 2019
diff
hist
+669
Talk:Producer–consumer problem
proposed rewrite of semaphore based solution
9 February 2019
19:17
19:17, 9 February 2019
diff
hist
+148
Talk:Monadic predicate calculus
added a question
8 February 2019
20:33
20:33, 8 February 2019
diff
hist
+336
m
Talk:Bisimulation
added request for clarification
15 December 2016
18:46
18:46, 15 December 2016
diff
hist
+361
Talk:Mmap
No edit summary
18:41
18:41, 15 December 2016
diff
hist
+138
Talk:Mmap
No edit summary
21 June 2016
23:01
23:01, 21 June 2016
diff
hist
+148
Talk:PackBot
No edit summary
13 March 2015
19:29
19:29, 13 March 2015
diff
hist
+6
m
Predicate transformer semantics
→Assignment
19:15
19:15, 13 March 2015
diff
hist
+1,166
Predicate transformer semantics
→While loop
:
provided definition for weakest liberal precondition (partial correctness)
5 March 2015
01:12
01:12, 5 March 2015
diff
hist
+99
m
Talk:Predicate transformer semantics
→Stongest postconditions are missing a motivation
01:11
01:11, 5 March 2015
diff
hist
+346
Talk:Predicate transformer semantics
→Stongest postconditions are missing a motivation
:
new section
01:04
01:04, 5 March 2015
diff
hist
+378
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
00:56
00:56, 5 March 2015
diff
hist
+2
m
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
00:56
00:56, 5 March 2015
diff
hist
+1,064
Talk:Predicate transformer semantics
→The While case needs a partial correctness rule
:
new section
13 May 2014
21:10
21:10, 13 May 2014
diff
hist
+1,015
Talk:First-order logic
→Question about interpreting formula with free variables
:
new section
21 February 2013
04:31
04:31, 21 February 2013
diff
hist
+1,018
Talk:Applied mathematics
No edit summary
6 September 2012
20:12
20:12, 6 September 2012
diff
hist
+481
Talk:Dynamic programming
No edit summary
20:07
20:07, 6 September 2012
diff
hist
+268
Talk:Dynamic programming
→And Prolog
13 May 2011
00:42
00:42, 13 May 2011
diff
hist
+267
Talk:Job-shop problem
No edit summary
21 March 2011
15:48
15:48, 21 March 2011
diff
hist
+1,014
Talk:Nuclear meltdown
explanation of bias in the article
20 February 2010
07:26
07:26, 20 February 2010
diff
hist
+37
Talk:Disjunctive normal form
No edit summary
07:18
07:18, 20 February 2010
diff
hist
+554
Talk:Disjunctive normal form
No edit summary
28 April 2009
20:11
20:11, 28 April 2009
diff
hist
+649
Talk:Automatic programming
→Merge
15 April 2008
00:39
00:39, 15 April 2008
diff
hist
+500
Talk:Peano axioms
No edit summary
00:32
00:32, 15 April 2008
diff
hist
+392
Talk:Peano axioms
No edit summary
28 February 2008
17:22
17:22, 28 February 2008
diff
hist
+188
Pseudo-polynomial time
added reference to strongly NP-complete problems
17:16
17:16, 28 February 2008
diff
hist
+259
Talk:Pseudo-polynomial time
No edit summary
26 February 2008
20:41
20:41, 26 February 2008
diff
hist
+171
Pseudo-polynomial time
You only need to test numbers up to n/2 for primality. Minor rewording of explanation to bring out the "a-ha"
20:27
20:27, 26 February 2008
diff
hist
+233
N
Talk:Pseudo-polynomial time
←
Created page with 'Shouldn't there be cross reference between this and the page on
Strongly NP-complete
since they are two sides of the same coin? ~~~~'
06:00
06:00, 26 February 2008
diff
hist
+102
Talk:Renaissance
→Not just Greek works
06:00
06:00, 26 February 2008
diff
hist
+452
Talk:Renaissance
No edit summary
05:55
05:55, 26 February 2008
diff
hist
+201
Renaissance
added reference to earlier Indian work upon which Muslim works were based
19 December 2007
23:16
23:16, 19 December 2007
diff
hist
+143
Talk:Heuristic algorithm
→Reference
30 October 2007
17:58
17:58, 30 October 2007
diff
hist
+192
Talk:Axiom of choice
→Question
25 October 2007
19:45
19:45, 25 October 2007
diff
hist
+225
Talk:Axiom of choice
→Question
1 August 2007
18:31
18:31, 1 August 2007
diff
hist
+83
Supremum
→Greatest elements
Videos
Youtube
|
Vimeo
|
Bing
Websites
Google
|
Yahoo
|
Bing
Encyclopedia
Google
|
Yahoo
|
Bing
Facebook
Top Of Page
Home
•
Search
•
Translate
©
CSE