CENTER FOR APPLIED MATHEMATICS AND THEORETICAL PHYSICS
UNIVERZA V MARIBORU UNIVERSITY OF MARIBOR
KREKOVA 2 SI-2000 MARIBOR SLOVENIA
Phone +(386) (2) 2355 350 and 2355 351 $\bullet$ Fax +(386) (2) 2355 360
Robnik@uni-mb.si $\bullet$ www.camtp.uni-mb.si
PROF.DR. MARKO ROBNIK, DIRECTOR

Seminarsko predavanje
Centra za uporabno matematiko in teoreticno fiziko

Automated proofs of combinatorial identities

Prof.Dr. Marko Petkovšek
Oddelek za matematiko, Fakulteta za matematiko in fiziko
Univerza v Ljubljani

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.

Prof.Dr. Marko Robnik
-- Direktor CAMTP --