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


InProceedingsReferred - 2005


September 27, 2008

Bibliography

1
S. Gerhold and M. Kauers.
A procedure for proving special function inequalities involving a discrete parameter.
In M. Kauers, editor, Proceedings of ISSAC '05, pages 156-162. ACM Press, 2005.
2
C. Schneider.
Finding telescopers with minimal depth for indefinite nested sum and product expressions.
In M. Kauers, editor, Proc. ISSAC'05, pages 285-292. ACM, 2005.




Please direct your comments or eventual problem reports to webmaster.

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