Combinatorial and automated proofs of certain identities. Brereton, Justin; Farid, Amelia; Karnib, Maryam; Marple, Gary; Quenon, Alex; Tefera, Akalu — 2011 The Electronic Journal of Combinatorics [electronic only]