Publications of the Project F1305

UnpublishedInvited - 2006

September 27, 2008

UnpublishedInvited - 2006

September 27, 2008

## Bibliography

- 1
- S. Gerhold.

Special Functions: Applications of Computer Algebra in Stochastics.

Invited colloquium talk at Vienna University of Technology, 10. January 2006. - 2
- M. Kauers.

Computer algebra proofs for combinatorial inequalities and identities.

Invited talk at MAP'06, 2006. - 3
- M. Kauers.

Proving and finding algebraic dependencies of combinatorial sequences.

Invited talk at Special Semester on Groebner Bases and Related Methods, 08.05.2006 2006. - 4
- P. Paule.

Computer Algebra, Proving, and the Digital Library of Mathematical Functions.

Invited talk at the MAP'06 Conference, Castro Urdiales, Spain, 10. January 2006. - 5
- P. Paule.

Quartics, log-concavity and computer algebra.

Dagstuhl Seminar No. 06271. Invited talk at Challenges in Symbolic Computation Software, 2-7 July 2006. - 6
- C. Schneider.

Sigma - a package for multi-summation.

Invited talk at Axiom Workshop 2006, RISC, Hagenberg, Austria, April 27 2006. - 7
- C. Schneider.

The summation package sigma simplifies harmonic sum expressions.

Invited colloquium talk at DESY, Zeuthen, Germany, 21. September 2006. - 8
- C. Schneider.

Symbolic summation assists combinatorics.

Series of invited keynote talks at 56th Sém. Lothar. Combin., Ellwangen, Germany, April 9 - 12 2006.

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