A Graduate Seminar Report On Combinatorial And Automated Proofs Of Certain Identities

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.

Get Full Work

Report copyright infringement or plagiarism