RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  subgroups  |  members  |  seminar  |  publications  |  software  |  events  |  links
  
search:
  

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