RISC JKU

Algorithmic Combinatorics Seminar, Summer 2004

Time: Wednesday, 14:00 - 16:00

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