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.

fr

Cet utilisateur a pour langue maternelle le français.

en-5

This user can contribute with a professional level of English.

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

PhD

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

BMath

This user has a Bachelor of Mathematics degree.

This user is a participant in
WikiProject Mathematics.

CS

This 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 24 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

-3

This user is an advanced LaTeX user.

py-3

This user is an advanced Python programmer.

ocaml-N

This 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) edit

To create edit

(misc) User:Gamall Wednesday Ida/Newton's identity (combinatorics)

Created edit

(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 edit

(misc) Bird–Meertens formalism: fill out a bit. Done, no longer a stub, I think.

Shopping list (articles to edit) 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) edit

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 edit

Wikipedia:Version 1.0 Editorial Team/Assessment#Grades; WP:FTN.

Third opinion disputes: update, Purge

Special:PendingChanges; My pending changes reviewing actions

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