A Graduate Seminar Report on Combinatorial and Automated Proofs of Certain Identities
No Thumbnail Available
Date
2012-01-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Addis Ababa University
Abstract
This paper is intended to discuss different approaches in proving identities. The paper comprises of two sections. The first one deals with basic concepts in combinatorics that are used in farther discussions and the second Section is the main body that discusses the proofs that illustrate the power and elegance in enumerative/algebraic combinatorial arguments, modern machine assisted techniques of Wilf-Zeilberger and the classical tools of generatingfunctionology.
Description
Keywords
Combinatorial, Automated Proofs, Certain, Identities