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


UnpublishedUnInvited - 2007


September 27, 2008

Bibliography

1
M. Kauers.
Computer algebra and power series with positive coefficients.
Contributed talk at FPSAC'07, 2007-07-02 2007.
2
M. Kauers.
Stirling number identities.
Contributed talk at SFB Annual Status Meeting (Strobl), 2007-04-12 2007.
3
M. Kauers.
Symbolic summation with radical expressions.
Contributed talk at ISSAC'07, 2007-07-31 2007.
4
C. Koutschan.
A division view on p-finite recurrences.
Contributed talk at SFB Status Seminar, April 12 2007.
5
P. Paule.
A computer proof of a conjecture of Moll.
Contributed talk at Mathematics: Algorithms and Proofs - MAP'07, Lorentz Center, Leiden, The Netherlands, January 8-12 2007.
6
C. Schneider.
The summation package Sigma evaluates Feynman integrals.
Contributed talk at ACAT, XI International Workshop on Advanced Computing and Analysis Techniques in Physics Research, 25. April 2007.
7
B. Zimmermann.
On symbolic definite summation.
Contributed talk at SFB Status-Seminar 2007, April 21 2007.




Please direct your comments or eventual problem reports to webmaster.

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