Combinatorial and automated proofs of certain identities
type: Item
instance of: scholarly article
title: Combinatorial and automated proofs of certain identities
zbMATH Open document ID: 1229.05036
author: Justin Brereton
author: Amelia Farid
author: Maryam Karnib
author: Gary R. Marple
author: Alex Quenon
author: Akalu Tefera
published in: The Electronic Journal of Combinatorics
publication date: 2011-06-24T00:00:00Z
full work available at URL: https://eudml.org/doc/230649
full work available at URL: v18i2p14.html
review text: Summary: This paper focuses on two binomial identities. The proofs illustrate the power and elegance in enumerative/algebraic combinatorial arguments, modern machineassisted techniques of Wilf-Zeilberger and the classical tools of generatingfunctionology.
Mathematics Subject Classification ID: 05A19
Mathematics Subject Classification ID: 05A10
zbMATH DE Number: 5913198
zbMATH Keywords: recurrence equations
zbMATH Keywords: combinatorial identities
zbMATH Keywords: Zeilberger algorithm
zbMATH Keywords: WZ
zbMATH Keywords: generatingfunctionology
describes a project that uses: EKHAD
describes a project that uses: SumTools
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 5913198