Publications of the Project F1305

UnpublishedInvited - 2007

September 27, 2008

UnpublishedInvited - 2007

September 27, 2008

## Bibliography

- 1
- M. Kauers.

Computer algebra for special function inequalities.

Invited talk at National Meeting of the AMS / Special Session on Experimental Mathematics, January 5 2007. - 2
- M. Kauers.

Cylindrical algebraic decomposition and applications to special functions.

Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn, 2007-05-08 2007. - 3
- M. Kauers.

Gröbner Bases and applications to special functions.

Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn, 2007-05-09 2007. - 4
- M. Kauers.

A solution to exercise 95.

Invited colloquium talk at Rutgers University, 2007-07-26 2007. - 5
- M. Kauers.

Stirling number identities.

Invited talk at Methods of Proof theory in Mathematics, 2007-06-05 2007. - 6
- P. Paule.

Computer algebra and the rogers-ramanujan identities.

Invited tutorial lecture. Invited talk at Special Semester on Methods of Proof Theory in Mathematics, May 3rd 2007. - 7
- P. Paule.

Computer algebra und macmahon's partition analysis.

Invited tutorial lecture. Invited talk at Special Semester on Methods of Proof Theory in Mathematics, May 3rd 2007. - 8
- P. Paule.

A computer proof of a conjecture of Moll.

Invited talk at Mathematics: Algorithms and Proofs - MAP'07, 8-12 January 2007. - 9
- P. Paule.

Let's compute a proof: Aspects of computer algebra in proving.

Invited key-note lecture. Invited talk at 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS 2007, June 2007. - 10
- P. Paule.

Perspektiven: Beweisen mit dem computer.

Invited colloquium talk at University Bayreuth, Germany, July 20th 2007. - 11
- P. Paule.

Symbolic computation in combinatorics: Recent progress at risc.

Invited key-note lecture. Invited talk at Conference on Formal Power Series and Algebraic Combinatorics -FPSAC'07, July 2007. - 12
- C. Schneider.

Multi-summation and d-finite sequences.

Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 2. May 2007. - 13
- C. Schneider.

Multi-summation tools and special functions.

Invited talk at Conference on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 6. June 2007. - 14
- C. Schneider.

The summation package sigma evaluates Feynman integrals.

Invited talk at Computer Algebra and Particle Physics, CAPP 2007, 29. March 2007. - 15
- C. Schneider.

Symbolic summation and applications.

Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 30. April 2007.

Please direct your comments
or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund