Place: Seminarraum Schloss Hagenberg
03.03. | Peter Paule | Organizational items |
Burki Zimmermann | On contour integrals | |
10.03. | Peter Paule | On the Borwein conjecture |
Burki Zimmermann | Orthogonal polynomials and approximation | |
17.03. | Burki Zimmermann | Existence theorem for level-2-functions |
Carsten Schneider | Symbolic summation over recurrences and indefinite nested sums and products | |
24.03. | Burki Zimmermann | Existence theorem for level-2-functions (Part II) |
31.03. | canceled | |
21.04. | Elena Kartaschova | The Clipping Method |
28.04. | Nikolaj Popov | Verification of recursive programs — Proving properties of recurrence relations |
Axel Riese | A computer proof of an integral identity | |
Burki Zimmermann | Existence theorem for level-2-functions (Part III) | |
05.05. | Manuel Kauers and Carsten Schneider | Funny function identities |
12.05. | Burki Zimmermann | Existence theorem for level-2-functions (Part IV) |
19.05. | Burki Zimmermann | Existence theorem for level-2-functions (Part V) |
26.05. | Burki Zimmermann | Existence theorem for level-2-functions (Part VI) |
02.06. | Ralf Hemmecke | Report on INRIA stay |
Axel Riese | Computer proofs of two strange hypergeometric identities | |
Stefan Gerhold | The Lambert W-function is not holonomic | |
Robert Wiesinger | The method of separation (Part I) | |
09.06. | Robert Wiesinger | The method of separation (Part II) |
16.06. | Carsten Schneider | ISSAC test-run |
Manuel Kauers | ISSAC test-run | |
23.06. | Ralf Hemmecke | Some questions on binomial coefficients |
Stefan Gerhold | Positivity of holonomic sequences | |
30.06. | Stefan Gerhold | Slide show on Birma and South America |