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

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1305


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