Place: Seminarraum Schloss Hagenberg
03.10. | Peter Paule | Organizational items |
Silviu Radu | Towards an algorithmic approach for proving partition congruences related to modular functions (Part I) | |
10.10. | Silviu Radu | Towards an algorithmic approach for proving partition congruences related to modular functions (Part II) |
17.10. | No seminar | |
24.10. | Ralf Hemmecke | Combinatorial Species (Part II) |
31.10. | Veronika Pillwein | A Proof of Schöberl's Inequality |
07.11 | Dr. David Bailey | Experimental Mathematics: Tools of the Trade |
14.11. | Flavia Stan | Ising Integrals with MultiSum |
Christoph Koutschan | qGeneratingFunctions | |
21.11. | Manuel Kauers | Czichowski meets Trager |
Walks in the Quarter Plane | ||
28.11. | Karin Nachbagauer | Lagrange Inversion and Mellin Series | 05.12. | Christoph Koutschan | Holonomic Survey Talk |
12.12 | No seminar | |
09.01. | Prof. Victor Moll | Rational Landen Transformations abstract |
Prof. M. Chamberland | The Computer's Role in Mathematical Discovery and Proof abstract | |
16.01. | Burcin Erocal | Implementing an HNF algorithm in Sage |
A tour of Sage | ||
23.01. | Prof. Qing-Hu Hou | Proving hypergeometric identities by numerical verifications |
30.01. | Christian Punzengruber | Classical Proofs of Turan's Inequality |