User:Gamall Wednesday Ida

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.

frCet utilisateur a pour langue maternelle le français.

en-5This user can contribute with a professional level of English.

This user teaches at a university or other institution of higher education.

PhDThis user has a Doctor of Philosophy degree in theoretical computer science.

BMathThis user has a Bachelor of Mathematics degree.

This user is a participant in
WikiProject Mathematics.

CSThis user is a participant in WikiProject Computer science.

This user has pending changes reviewer rights on the English Wikipedia. (verify)

Miscellanea

This user has extended confirmed rights on the English Wikipedia. (verify) This user has been on Wikipedia for 16 years, 10 months and 13 days, but barely used the account and kept editing as an IP for a long time. This user was an IP editor in the past. This user is an academic. This user has published peer-reviewed articles in academic journals. This user believes science, practiced through the scientific method, is the most reliable way of determining the nature of reality. This user is a Bayesian, who knows it's really due to Laplace. This user doesn't believe in deities, myths or superstitions -3This user is an advanced LaTeX user. py-3This user is an advanced Python programmer. ocaml-NThis user prefers OCaml over other programming languages. This user uses Kile for editing in LaTeX. This user contributes with Arch Linux. This user still remembers these. This user has insomnia.

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)

• See if Pandoc is good at converting LaTeX to wiki syntax. That would make things easier for me.

Turns out, it doesn't handle macros well. My existing documents depend heavily on them. Alternatives? Simple macros work fine.  Done

• BibTeX citations to Wikipedia: follow up on [1], [2].  Done Zotero seems to work fine.

• 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,

1. At the article Eve Harlow, two editors are involved in two separate disputes with each other.
   One is demanding that the article (a biography) absolutely must be categorized within a "[medium] actresses" subcategory, while the other says that none of the subcategories apply (citing WP:CATV). That thread is Talk:Eve Harlow § Categories.
   Secondly, one editor is saying that all the sources in the article meet WP:RS and WP:RSP, but the other keeps adding {{unreliable sources}} and {{more citations needed}} because the sources aren't sufficiently notable. That discussion thread is Talk:Eve Harlow § April 2024 tagging. 15:00, 28 April 2024 (UTC)

Special:PendingChanges; My pending changes reviewing actions

Committed identity: 28b63b0a85d2f42a1b84f99f4a589633c84d590514fbb458bdf07b1da19ac93a98038a43fac1fcfdcc5e0b23ce1d9f993e14836b2bff57fd99a29c7e912e6e25 is a SHA-512 commitment to this user's real-life identity.