User:Gamall Wednesday Ida
From Wikipedia, the free encyclopedia
| Some wordy stuff about me |
|---|
|
Hello, My pseudonyms on the internet, which I have been using consistently for well over a decade, are Ida, Gamall, and the overlong Gamall Wednesday Ida, which, unlike the previous ones, should be unique enough to allow easy search and univocal identification (barring hypothetical impersonators). In real life, I am a theoretical computer scientist working in the areas of formal languages and automated verification, and an associate professor in a French engineering school. I'm pretty sure I am not notable, and don't have any WP:COI worth mentioning. I edit mostly on topics related to computer science and (basic) discrete mathematics, and revert vandalism wherever I come across it. |
|
Shopping list (articles created / to create)
To create
- (misc) User:Gamall Wednesday Ida/Newton's identity (combinatorics)
Created
- (research) Create the Tree transducer article: stub
Done. Make it good:
Not done.
- (basic) Needed to create Ranked alphabet as prerequisite.
Done Needs a proper definition of ranked terms.
Not done.
- (misc) Hockey-stick identity. A nice identity I didn't know about until recently, applicable in a proof for Square pyramidal numbers. Mostly seeded the article from some free sources.
Done
- Work out if it's a special case of Vandermonde's identity, and write it up.
Not done
- (misc) Arithmetices principia, nova methodo exposita. Stub.
Done
- (basic) Equivalence problem. Was linked in Tree transducer.
De-stubbed
- (misc) Bird–Meertens formalism: fill out a bit.
Done, no longer a stub, I think.
Shopping list (articles to edit)
- (teach) Arden's rule could use expansion. There again, French version is more complete.
- (misc) Add the nice proof of Pascal's rule with binomial expansion.
- (research/teach) Alternating finite automaton. French version is much better. Might want to import and complete.
- (teaching) Check vocabulary for code. French: code vs codage; here using en:code for fr:codage; what's the en for fr:code ? "uniquely decodable" still applies to a fr:codage instead of directly to a fr:code, which would be simpler. Need to find refs for usual practices.
Not done
- (teaching) Nicer prefix proof at Kraft's inequality:
Done. Maybe wrangle McMillan later.
Not done
- (misc) Arithmetico-geometric sequence does not cover what I would expect. / Actually, it's covered in Linear difference equation. Nothing to do.
Done
- (misc) Vandermonde's identity#Generalized Vandermonde's identities: added beautiful, more general version of identity.
Done It's obviously correct, but I can't find a reference. Seems that somebody else was looking for a ref and failed: http://math.stackexchange.com/questions/1131450/generalized-vandermondes-identity.
Not done
- (misc) Perhaps expand a bit the proof of Nicomachus's theorem.
Done
- (misc) Iverson bracket undefined cases? Proper definition for 'strongly 0'? Reworked.
Done
- (misc) Geometric progression and Geometric series are incredibly stinky messes. Dare I touch them ungloved?
Not done
- (misc) Merged Genetic entropy into Genetic load#genetic_entropy and John C. Sanford.
Done
- (misc) Ant on a rubber rope; Knuth references?
Not done
- (misc) Mean time between failures. General formulae?
Done
- (misc) Bayes' theorem: improve a bit
Partly done.
- (misc) Proof_by_contradiction#Relationship_with_other_proof_techniques; improve; added Proof_by_contradiction#rel.
Partly done
- (misc) Mean_time_between_failures#MTBF_of_networks_of_components: contributed network formulae
Done.
- (misc) Arithmetico-geometric sequence: improved.
Done.
Shopping list (meta)
Turns out, it doesn't handle macros well. My existing documents depend heavily on them. Alternatives? Simple macros work fine.
Done
- Pandoc + Zotero : Project "LaTeX seed"
Not done
- See if there is really no way to define LaTeX macros across an article; User:Gamall_Wednesday_Ida/sandbox. Seems not, but might ask someone knowledgeable sometime.
Not done
- Useful tool: User:Jmath666/latex2wiki : LaTeX to Wiki converter.
- Notifications for unsigned template : Template talk:Unsigned.
Useful links
Wikipedia:Version 1.0 Editorial Team/Assessment#Grades; WP:FTN.
Third opinion disputes: update,
- Talk:Ordinal arithmetic § Comprehensibility to non-expert audience - Should {{too technical}} remain on this article while it awaits improvement? 19:21, 17 March 2026 (UTC)
- Talk:British Journal of American Legal Studies § Significant coverage? – Should
{{No significant coverage}}or a similar maintenance template be placed on the page? Thanks! 20:36, 19 March 2026 (UTC) - Talk:Blood of Zeus § Proposed addition to Reception section – Dispute over whether a brief, sourced mention of retrospective rankings from Collider and ComicBook.com is appropriate for inclusion in the Reception section. 16:57, 20 March 2026 (UTC)
- User talk:Irishhistoryguy § "King of Ivahagh" Dispute over whether medieval annals qualify as secondary source material for Wikipedia. 04:09, 21 March 2026 (UTC)
Special:PendingChanges; My pending changes reviewing actions