Combinatorial and Automated Proofs of Certain Identities. - Justin Brereton; Amelia Farid; Maryam Karnib; Gary Marple; Alex Quenon; Akalu Tefera (Electron. J. Comb., 2011)