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


September 27, 2008

Bibliography

1
M. Kauers.
Computer proofs for polynomial identities in arbitrary many variables.
In J. Gutierrez, editor, Proceedings of ISSAC 2004, pages 199-204. ACM Press, 2004.
2
C. Schneider.
A collection of denominator bounds to solve parameterized linear difference equations in ${\Pi}{\Sigma}$-extensions.
In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proc. SYNASC04, 6th Internat. Symposium on Symbolic and Numeric Algorithms for Scientific Computation, pages 269-282, Timisoara (Romania), September 2004. Mirton Publishing.
3
C. Schneider.
Symbolic summation with single-nested sum extensions.
In J. Gutierrez, editor, Proc. ISSAC'04, pages 282-289. ACM Press, 2004.




Please direct your comments or eventual problem reports to webmaster.

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