Harmonic-Number Summation Identities, Symmetric Functions, and Multiple Zeta Values

We show how infinite series of a certain type involving generalized harmonic numbers can be computed using a knowledge of symmetric functions and multiple zeta values. In particular, we prove and generalize some identities recently conjectured by J. Choi, and give several more families of identities of a similar nature.