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 - 2006


September 27, 2008

Bibliography

1
M. Kauers.
Application of unspecified sequences in symbolic summation.
Contributed talk at ISSAC'06, 2006-07-12 2006.
2
M. Kauers.
Computer algebra proofs for combinatorial inequalities and identities.
Contributed talk at MAP 2006, 2006-01-12 2006.
3
M. Kauers.
Computer proof of a longstanding conjectured inequality of moll.
Contributed talk at SFB Cooperation Meeting, December 18 2006.
4
M. Kauers.
Symbolic computation for inequalities.
Contributed talk at SFB Annual Status Meeting (Strobl), 2006-04-21 2006.
5
B. Zimmermann.
Parametrizing bronstein's ``poor man's'' integrator.
Contributed talk at SFB Status-Seminar, April 21 2006.




Please direct your comments or eventual problem reports to webmaster.

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