Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, May 13, 2011 at 1:30pm, at U. of Waterloo
Abstract: In the past 30 years, computer algebra has made a lot of progress in the design of algorithms operating on mathematical objects. In particular, a few simple but fruitful ideas make it possible to compute sums or integrals of a wide variety of functions. Early work concentrated on hypergeometric identities. This was generalized by Zeilberger to deal with what he called "holonomic" systems. Recently, we generalized this further in

Last modified on Sunday, 04 November 2012, at 15:42 hours.