RISC JKU

Algorithmic Combinatorics Seminar, Winter 2003/04

Time: Wednesday, 14:00 - 16:00

Place: Seminarraum Schloss Hagenberg

01.10. Peter Paule Organizational items
Manuel Kauers Deciding zero equivalence of certain special sequences (Part I)
08.10. Manuel Kauers Deciding zero equivalence of certain special sequences (Part II)
15.10. Manuel Kauers Deciding zero equivalence of certain special sequences (Part III)
Stefan Gerhold The sequence sqrt(n) is not holonomic
22.10. Burki Zimmermann Report on PhD Thesis (Part I)
29.10. Herwig Hauser Division with remainder

Abstract: Viewing the classical division of numbers / polynomials etc. as the construction of a section of a linear operator from Z to Z or K[x] to K[x] the various algorithmic and existential proofs come together in one universal proof covering all cases (numbers / polynomials / power series / formal / convergent...). In the second part of the talk, we discuss the division of linear recurrences with polynomial coefficients and their respective solutions.

05.11. Burki Zimmermann Report on PhD Thesis (Part II)
12.11. Burki Zimmermann Report on PhD Thesis (Part III)
19.11. Carsten Schneider Higher order linear extensions over ΠΣ-fields (Part I)
26.11. Carsten Schneider Higher order linear extensions over ΠΣ-fields (Part II)
Ralf Hemmecke The Current State of Calix
03.12. Mirka Sotakova A combinatorial proof of the Rogers-Ramanujan identities
10.12. canceled
17.12. canceled
07.01. canceled
14.01. canceled
21.01. Carsten Schneider Higher order linear extensions over ΠΣ-fields (Part III)
28.01. Carsten Schneider Higher order linear extensions over ΠΣ-fields (Part IV)
Manuel Kauers Software Demo