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 |