First presenter Co-presenter(s)
Name :  Christoph Koutschan * Name:   
E-mail: E-mail:  
Affiliation: Johannes Kepler University Linz Name:   
Department: RISC (Research Institute for Symbolic Computation)  E-mail:    
City: Name:   
State/Province:   E-mail:    
Country: Austria Name:   
Talk
Number:		 06-03  E-mail:    
Session: 6- Applications of Math Software to Mathematical Research Schedule:
 
Room:		 Friday, 11:30
 
B-2620
Related website:  
Title of
presentation:		 Algorithmic proving of special function identities in Mathematica
Abstract:

We present our newly developed Mathematica package HolonomicFunctions which serves for automatic finding and proving of holonomic function identities. The class of holonomic functions includes most of the elementary functions (like sine, exponential, logarithm, algebraic expressions, etc.) and the majority of so-called special functions (like Bessel functions, orthogonal polynomials, hypergeometric functions, etc.). The package adresses both summation and integration problems.