Programma Algebra II 2003/2004

Dimostrazioni Automatiche, identita' polinomiali,identita' trigonometriche, funzioni simmetriche, Database ipergeometrico, software, metodo di Suor Celine, Algoritmo di Gosper e problema della sommabilita' ipergeometrica, Algoritmo di Zeilberger o creative-telescoping, il WZ fenomeno, Algoritmo Hyper di Petkovsek.