Computer proofs of a new family of harmonic number identities

Computer proofs of a new family of harmonic number identities