The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1305


UnpublishedColloquium - 2004


September 27, 2008

Bibliography

1

M. Kauers.
Algorithmische beweise für neue klassen von kombinatorischen identitäten.
Invited colloquium talk at Universität Kassel, November 2004.

2

P. Paule.
Algorithmic combinatorics: a new discipline.
University of Vienna, June 2004.

3

P. Paule.
Algorithmic Combinatorics: A New Discipline.
Invited colloquium talk at University of Vienna, June 2004.

4

P. Paule.
A computerized proof of Stembridge's TSPP theorem.
University of Bayreuth, July 2004.

5

P. Paule.
A computerized proof of Stembridge's TSPP theorem.
Pennsylvania State University, March 2004.

6

P. Paule.
A computerized proof of Stembridge's TSPP theorem.
Invited colloquium talk at Pennsylvania State University, USA, March 2004.

7

P. Paule.
A computerized proof of Stembridge's TSPP theorem.
Invited colloquium talk at University of Bayreuth, Germany, July 2004.

8

P. Paule.
Constructive mathematics in the digital age.
MMRC, Chinese Academy of Sciences, Beijing, China, August 2004.

9

P. Paule.
Constructive mathematics in the digital age.
Invited colloquium talk at MMRC, Chinese Academy of Sciences, Beijing, China, August 2004.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund