Hook length formulas for trees by Han's expansion.
Hooks and powers of parts in partitions.
How many square occurrences must a binary sequence contain?
Human proofs of identities by Osburn and Schneider.
Hybrid proofs of the -binomial theorem and other identities.
HYP and HYPQ. Mathematica packages for the manipulation of binomial sums and hypergeometric series respectively -binomial sums and basic hypergeometric series.
HYPERG: a Maple package for manipulating hypergeometric series.
Hypergeometric series acceleration via the WZ method.