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


UnpublishedInvited - 2002


September 27, 2008

Bibliography

1

P. Paule.
Symbolic summation: Algorithms and missed opportunities.
Invited talk at ``Special Functions in the Digital Age'', Minneapolis, Minnesota, July 2002.

2

A. Riese.
Computer proofs of hypergeometric summation identities and partition analysis.
Invited talk at ``Special Functions in the Digital Age'', Minneapolis, Minnesota, July 2002.

3

C. Schneider.
Sigma: A summation package for discovering and proving.
Invited talk at the IMA Summer Program on ``Special Functions in the Digital Age'', Minnesota, Minneapolis, July 2002.

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