Publications of the Project F1305
UnpublishedInvited - 2006
September 27, 2008
UnpublishedInvited - 2006
September 27, 2008
Bibliography
- 1
- S. Gerhold.
Special Functions: Applications of Computer Algebra in Stochastics.
Invited colloquium talk at Vienna University of Technology, 10. January 2006. - 2
- M. Kauers.
Computer algebra proofs for combinatorial inequalities and identities.
Invited talk at MAP'06, 2006. - 3
- M. Kauers.
Proving and finding algebraic dependencies of combinatorial sequences.
Invited talk at Special Semester on Groebner Bases and Related Methods, 08.05.2006 2006. - 4
- P. Paule.
Computer Algebra, Proving, and the Digital Library of Mathematical Functions.
Invited talk at the MAP'06 Conference, Castro Urdiales, Spain, 10. January 2006. - 5
- P. Paule.
Quartics, log-concavity and computer algebra.
Dagstuhl Seminar No. 06271. Invited talk at Challenges in Symbolic Computation Software, 2-7 July 2006. - 6
- C. Schneider.
Sigma - a package for multi-summation.
Invited talk at Axiom Workshop 2006, RISC, Hagenberg, Austria, April 27 2006. - 7
- C. Schneider.
The summation package sigma simplifies harmonic sum expressions.
Invited colloquium talk at DESY, Zeuthen, Germany, 21. September 2006. - 8
- C. Schneider.
Symbolic summation assists combinatorics.
Series of invited keynote talks at 56th Sém. Lothar. Combin., Ellwangen, Germany, April 9 - 12 2006.
Please direct your comments
or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund