Algorithmic Combinatorics Seminar, Winter 2007
Time: Wednesday, 14:00 - 16:00
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 |
Previous Years
The seminar program of previous years is available
here
