RISC Forum
Christoph Koutschan: Computer algebra algorithms for d-finite and holonomic functions (internal thesis defense)
| When |
Jun 08, 2009
from 01:30 PM to 02:00 PM |
|---|---|
| Where | RISC seminar room |
| Attendees |
all@risc |
| Add event to calendar |
vCal
iCal
|
Computer algebra algorithms for d-finite and holonomic functions
Christoph Koutschan (internal thesis defense)Abstract
The first part of the talk is dedicated to my Mathematica package HolonomicFunctions which has been implemented during the last two years and which will be an important part of the thesis. It provides commands for the automatic manipulation of multivariate d-finite and holonomic functions (closure properties, summation, integration) as well as arithmetic and Gröbner bases in certain noncommutative polynomial rings (Ore algebras). In the second part, some examples are presented to which the package has been applied successfully:
1) the computation of relations for basis functions that are highly needed in numerical simulations and
2) a new proof of Stembridge's TSPP theorem that is completely algorithmic.