User:Gamall Wednesday Ida

To create

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

Created

 * (research) Create the Tree transducer article: stub ✅. Make it good:.


 * (basic) Needed to create Ranked alphabet as prerequisite. ✅ Needs a proper definition of ranked terms..


 * (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. ✅
 * Work out if it's a special case of Vandermonde's identity, and write it up.


 * (misc) Arithmetices principia, nova methodo exposita. Stub. ✅


 * (basic) Equivalence problem. Was linked in Tree transducer.

De-stubbed

 * (misc) Bird–Meertens formalism: fill out a bit. ✅, 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.


 * (teaching) Nicer prefix proof at Kraft's inequality: ✅. Maybe wrangle McMillan later.


 * (misc) Arithmetico-geometric sequence does not cover what I would expect. / Actually, it's covered in Linear difference equation. Nothing to do. ✅


 * (misc) Vandermonde's identity: added beautiful, more general version of identity. ✅ 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.


 * (misc) Perhaps expand a bit the proof of Nicomachus's theorem. ✅


 * (misc) Iverson bracket undefined cases? Proper definition for 'strongly 0'? Reworked. ✅


 * (misc) Geometric progression and Geometric series are incredibly stinky messes. Dare I touch them ungloved?


 * (misc) Merged Genetic entropy into Genetic load and John C. Sanford. ✅


 * (misc) Ant on a rubber rope; Knuth references?


 * (misc) Mean time between failures. General formulae? ✅


 * (misc) Bayes' theorem: improve a bit.


 * (misc) Proof_by_contradiction; improve; added Proof_by_contradiction.


 * (misc) Mean_time_between_failures: contributed network formulae ✅.


 * (misc) Arithmetico-geometric sequence: improved. ✅.

Shopping list (meta)
''Turns out, it doesn't handle macros well. My existing documents depend heavily on them. Alternatives?'' Simple macros work fine. ✅
 * See if Pandoc is good at converting LaTeX to wiki syntax. That would make things easier for me.


 * BibTeX citations to Wikipedia: follow up on, . ✅ Zotero seems to work fine.


 * Pandoc + Zotero : Project "LaTeX seed"


 * 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.


 * Useful tool: User:Jmath666/latex2wiki : LaTeX to Wiki converter.


 * Notifications for unsigned template : Template talk:Unsigned.

Useful links
Version 1.0 Editorial Team/Assessment; WP:FTN.

Third opinion disputes: [ update],

Special:PendingChanges; My pending changes reviewing actions