Faculty of Science

Objectives

To introduce students to different algorithmic techniques for representing hypergeometric orthogonal polynomials and special functions and the use of computer for the proof of the different identities.

Contents

An introduction to hypergeometric orthogonal polynomials and special functions; Hypergeometric identities; Holonomic recurrence relations; Gosper’s algorithm; Wilf-Zeilberger method; Zeilberger’s algorithm; Petkovšek’s algorithm; Rodrigues formulas and generating functions; Computer implementation of the different algorithms.