Place: Seminarraum Schloss Hagenberg
09.10. | Peter Paule | Organizational items |
Burki Zimmermann | On multinomial coefficients | |
16.10. | Carsten Schneider | The Sigma package (Part I) |
23.10. | Tobias Beck | Summation of rational functions |
30.10. | Carsten Schneider | The Sigma package (Part II) |
06.11. | Carsten Schneider | The Sigma package (Part III) |
13.11. | Carsten Schneider | The Sigma package (Part IV) |
Burki Zimmermann | Report on Volos Conference | |
20.11. | Burki Zimmermann | Fibonacci numbers |
27.11. | Ludovic Meunier | The Encyclopedia of Special Functions Abstract: Abramowitz and Stegun's Handbook of Mathematical Functions lists properties and identities for about one hundred functions. The formulae in this book and other references on special functions were computed, written and proof-read by hand. The progress made in Computer Algebra in the last 20 years makes it possible to automate completely the derivation of many of these formulae. This opens the way to developing an automatically generated Encyclopedia of Special Functions. The Encyclopedia of Special Functions focuses on special functions that are solutions of a linear differential equation. These functions are called holonomic functions and many of their properties are algorithmically computable. This talk presents the current state of the Encyclopedia of Special Functions. |
04.12. | Stefan Gerhold | The Ore package |
Martin Semrad | Report on diploma thesis (Part I) | |
11.12. | Manuel Kauers | Solving parametric linear systems |
Peter Paule | Combinatorics Christmas Party | |
18.12. | canceled | |
08.01. | canceled | |
15.01. | Martin Semrad | Report on diploma thesis (Part II) |
22.01. | Martin Semrad | Report on diploma thesis (Part III) |
Manuel Kauers | Discrete de l'Hospital | |
29.01. | canceled |