User contributions for 86.127.138.234

25 February 2015

• 07:2607:26, 25 February 2015 diff hist +224‎ Talk:Carl Herbert Smith ‎ →‎Latvia?: new section
• 07:2307:23, 25 February 2015 diff hist −9‎ Carl Herbert Smith ‎ rm somewhat hagiographic term
• 07:2007:20, 25 February 2015 diff hist +23‎ Theory of computation ‎ →‎Further reading: there's a [somewhat bad/vague] bio for Carl Herbert Smith here
• 07:1507:15, 25 February 2015 diff hist +9‎ Theory of computation ‎ →‎Further reading
• 07:1507:15, 25 February 2015 diff hist −166‎ Theory of computation ‎ →‎Further reading: we don't need to list all editions here
• 07:1307:13, 25 February 2015 diff hist +4‎ Theory of computation ‎No edit summary
• 07:1207:12, 25 February 2015 diff hist +29‎ Theory of computation ‎ I'm not sure what the proper tag for this is, but a lot of this detail should be moved to the sub-article, which is unfortunately rather barren.
• 07:0807:08, 25 February 2015 diff hist −704‎ Theory of computation ‎ fairly obscure topic that is fine in the sub-article but not in this higher-level topic. I'm tempted to delete Combinatory logic from here too, but that's more widely know/covered in textbooks.

24 February 2015

• 22:0222:02, 24 February 2015 diff hist +230‎ Talk:Chomsky–Schützenberger representation theorem ‎No edit summary
• 22:0122:01, 24 February 2015 diff hist +3‎ Talk:Chomsky–Schützenberger enumeration theorem ‎No edit summary
• 22:0022:00, 24 February 2015 diff hist +266‎ N Talk:Chomsky–Schützenberger enumeration theorem ‎ ←Created page with 'This not a bad title (give the theorem's content) but alas I couldn't find a single source using it... David Eppstein needs to write a textbook! ~~~~'
• 22:0022:00, 24 February 2015 diff hist +445‎ N Talk:Chomsky–Schützenberger representation theorem ‎ ←Created page with 'The theorem has many extensions, but most are fairly recent, so I'm a little hesitant to add them to main page: * Weir extended it to tree adjoining grammars...'
• 21:0821:08, 24 February 2015 diff hist +10‎ Chomsky–Schützenberger representation theorem ‎No edit summary
• 21:0821:08, 24 February 2015 diff hist −292‎ Chomsky–Schützenberger representation theorem ‎ This is a paper with 3 citations in ACM. On such a widely known topic there are a ton textbooks/handbooks that can be cited instead and are sufficient references (and themselves have been cited hundreds of times).
• 20:5520:55, 24 February 2015 diff hist +18‎ Chomsky–Schützenberger representation theorem ‎ missed the new co-author for the 2nd ed.
• 19:5919:59, 24 February 2015 diff hist 0‎ Chomsky–Schützenberger representation theorem ‎ fixed year too
• 19:5919:59, 24 February 2015 diff hist +8‎ Chomsky–Schützenberger representation theorem ‎ we might as well cite the 2nd ed.
• 19:5519:55, 24 February 2015 diff hist +260‎ Chomsky–Schützenberger representation theorem ‎ +ref for this choice of naming (with "representation" in it), not found in all sources alas
• 13:0413:04, 24 February 2015 diff hist +49‎ Chris Umans ‎ →‎Research
• 13:0213:02, 24 February 2015 diff hist +515‎ Chris Umans ‎No edit summary
• 12:5212:52, 24 February 2015 diff hist −2‎ Circuit minimization for Boolean functions ‎No edit summary
• 12:5112:51, 24 February 2015 diff hist 0‎ Circuit minimization for Boolean functions ‎No edit summary
• 12:5012:50, 24 February 2015 diff hist −206‎ Circuit minimization for Boolean functions ‎ it was proved

23 February 2015

• 11:4111:41, 23 February 2015 diff hist +416‎ Talk:Medial magma ‎ →‎Bruck: new section
• 11:3611:36, 23 February 2015 diff hist +406‎ Medial magma ‎No edit summary
• 11:2111:21, 23 February 2015 diff hist +10‎ Medial magma ‎ →‎Bruck–Toyoda theorem: if your're going to give a pompous name to this result (which most authors don't) then you should add Murdoch; see for example https://eudml.org/doc/247148
• 10:5610:56, 23 February 2015 diff hist 0‎ Quasigroup ‎ →‎Total symmetry
• 10:5510:55, 23 February 2015 diff hist −2‎ Quasigroup ‎ →‎Total symmetry
• 10:5510:55, 23 February 2015 diff hist +452‎ Quasigroup ‎ →‎Total symmetry
• 08:3208:32, 23 February 2015 diff hist +2‎ Quasigroup ‎ →‎Total symmetry
• 08:2208:22, 23 February 2015 diff hist −99‎ Medial magma ‎ →‎Generalizations: it looks like the paper was this
• 08:1308:13, 23 February 2015 diff hist +140‎ Quasigroup ‎ →‎Loop: whoops
• 08:0908:09, 23 February 2015 diff hist +437‎ Quasigroup ‎ →‎Loop: pique; it might be called something else (I don't know what) outside of Smith (and co-authors works) but I don't yet know what else it might be called.
• 07:3907:39, 23 February 2015 diff hist +1,245‎ Quasigroup ‎ →‎Total antisymmetry: this page still has big gaps in basic theory; also, I refuse to write that many ∗'s (since I can't type them, only * is on my keyboard). That probably why there's not that much content here...

22 February 2015

• 13:2313:23, 22 February 2015 diff hist 0‎ Computable number ‎ →‎Properties as a field
• 13:2313:23, 22 February 2015 diff hist +145‎ Computable number ‎ →‎References
• 13:2113:21, 22 February 2015 diff hist +154‎ Computable number ‎ →‎Properties as a field: there's no article about that, but there should be one. I'll add a reference to the end of article.
• 12:4612:46, 22 February 2015 diff hist +12‎ Computable number ‎ →‎Properties as a field
• 12:4512:45, 22 February 2015 diff hist +90‎ Computable number ‎ →‎Properties as a field
• 10:0210:02, 22 February 2015 diff hist −1‎ Computable number ‎No edit summary
• 10:0210:02, 22 February 2015 diff hist +141‎ Computable number ‎ ahem, this too
• 06:0206:02, 22 February 2015 diff hist +244‎ Talk:Polynomial regression ‎ →‎Interactions?: new section
• 03:1903:19, 22 February 2015 diff hist +283‎ Talk:Stiffness matrix ‎ →‎Could use a simpler example first: new section

21 February 2015

• 13:1313:13, 21 February 2015 diff hist +189‎ Talk:Barber paradox ‎ →‎Prolog?
• 13:1213:12, 21 February 2015 diff hist +24‎ Barber paradox ‎ Why is Prolog more important that first-order logic?
• 08:3708:37, 21 February 2015 diff hist −133‎ Sound from ultrasound ‎ While this a higher-budget production that the guy with the webcam it does not seem reliable either; it's basically just your run of the mill conspiracy theory with voice from off. Gloria Naylor has an article here, but there's little in it about 1996
• 08:3108:31, 21 February 2015 diff hist −107‎ Sound from ultrasound ‎ →‎Organized stalking: some of the vids may be "reliable" as put out by media organizations at least trying to get both sides, but this one is just some guy and his webcam

20 February 2015

• 09:2709:27, 20 February 2015 diff hist +424‎ Boolean domain ‎ add blackboard B per suggestion on talk
• 00:3000:30, 20 February 2015 diff hist +184‎ Inverse problem ‎ →‎References: Introductory book. In general, anything more in-depth tends to be rather domain-specific...

19 February 2015

• 10:4910:49, 19 February 2015 diff hist +4‎ Screw theory ‎ →‎Twists as elements of a Lie algebra