Abstract: In the past 25 years, significant progress has been achieved in automating verification of identities among special functions. This was made possible by the development of various algorithms for computing with special functions and for converting between different types of representations. I will concentrate on the discrete case and will present some results in the areas of symbolic summation and solution of recurrences.
Seminarsko predavanje bo v petek, 28. marca 2003 ob 15:15 uri v seminarski sobi CAMTP na Krekovi 2, pritlicje desno. Vljudno vabljeni vsi zainteresirani, tudi študentje.