SpezialForschungsBereich SFB F013: Publication Lists

Publications of the Project F1305

UnpublishedUnInvited

September 27, 2008

Bibliography

1: F. Caruso.
A library for polynomial arithmetic.
Contributed talk at Workshop on Applications of Commutative Algebra, Catania, Italy, April 2002.
2: S. Gerhold.
Positivity of p-recursive sequences.
Seminaire Lotharingien de Combinatoire, 2004.
3: S. Gerhold.
Positivity of p-recursive sequences.
Contributed talk at Seminaire Lotharingien de Combinatoire, 10 2004.
4: M. Kauers.
Computer proofs for polynomial identities in arbitrary many variables.
ISSAC 2004, Santander, Spain, July 2004.
5: M. Kauers.
Application of unspecified sequences in symbolic summation.
Contributed talk at ISSAC'06, 2006-07-12 2006.
6: M. Kauers.
Computer algebra proofs for combinatorial inequalities and identities.
Contributed talk at MAP 2006, 2006-01-12 2006.
7: M. Kauers.
Computer proof of a longstanding conjectured inequality of moll.
Contributed talk at SFB Cooperation Meeting, December 18 2006.
8: M. Kauers.
Symbolic computation for inequalities.
Contributed talk at SFB Annual Status Meeting (Strobl), 2006-04-21 2006.
9: M. Kauers.
Computer algebra and power series with positive coefficients.
Contributed talk at FPSAC'07, 2007-07-02 2007.
10: M. Kauers.
Stirling number identities.
Contributed talk at SFB Annual Status Meeting (Strobl), 2007-04-12 2007.
11: M. Kauers.
Symbolic summation with radical expressions.
Contributed talk at ISSAC'07, 2007-07-31 2007.
12: C. Koutschan.
A division view on p-finite recurrences.
Contributed talk at SFB Status Seminar, April 12 2007.
13: P. Paule.
Plane partition diamonds.
Contributed talk at ``46th Sém. Lothar. Combin.'', Lyon, France, March 2001.
14: P. Paule.
A computer proof of a conjecture of Moll.
Contributed talk at Mathematics: Algorithms and Proofs - MAP'07, Lorentz Center, Leiden, The Netherlands, January 8-12 2007.
15: A. Riese.
Treating -identities with the computer.
Contributed talk at Conference on Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics, Gainesville, Florida, November 1999.
16: A. Riese.
Curing syndromes with computer algebra.
Contributed talk at Conference on -Series with Applications to Combinatorics, Number Theory and Physics, Urbana-Champaign, Illinois, October 2000.
17: A. Riese.
Symbolic -hypergeometric summation and partition analysis.
Contributed talk at ``Special Functions 2000'', Tempe, Arizona, June 2000.
18: A. Riese.
qMultiSum -- A package for proving -hypergeometric multi-sums.
Contributed talk at ``46th Sém. Lothar. Combin.'', Lyon, France, March 2001.
19: A. Riese.
Randomization speeds up hypergeometric summation.
Contributed talk at ``SFB Workshop'', Strobl, Austria, April 2002.
20: A. Riese.
Hypergeometric series for high order finite elements.
Contributed talk at SFB Workshop, Strobl, Austria, April 2003.
21: A. Riese.
Special functions and high order finite elements.
Contributed talk at SFB Workshop, Strobl, Austria, April 2004.
22: C. Schneider.
A Mathematica implementation of Karr's summation algorithm.
Contributed talk at Seminaire Lotharingien de Combinatoire, Schoenthal, Germany, March 1999.
23: C. Schneider.
Symbolic summation in difference fields.
Contributed talk at ``10th SIAM Conference on Discrete Mathematics'', Minneapolis, Minnesota, June 2000.
24: C. Schneider.
Symbolic summation in difference fields.
Talk at the ``Conference Symbolic and Numerical Scientific Computation (SNSC'01)'', Hagenberg, Austria, September 2001.
25: C. Schneider.
How one can play with sums.
Contributed talk at the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany, March 2002.
26: C. Schneider.
Pade approximation, multisums, and Theorema.
Invited talk at International Workshop on ``Numerical and Symbolic Scientific Computing'', Strobl, Austria, 2003.
27: C. Schneider.
A collection of denominator bound to solve parameterized linear difference equations in ${\Pi}{\Sigma}$ -extensions.
Contributed talk at SYNASC 2004, Timisoara, Romania, 27. September 2004.
28: C. Schneider.
A collection of denominator bounds to solve parameterized linear difference equations in ${\Pi}{\Sigma}$ -extensions.
SYNASC 2004, Timisoara, Romania, September 2004.
29: C. Schneider.
Symbolic summation over recurrences and indefinite nested sums and products.
GAMM Jahrestagung 2004, Dresden, Germany, March 2004.
30: C. Schneider.
Symbolic summation over recurrences and indefinite nested sums and products.
Contributed talk at GAMM Jahrestagung 2004, Dresden, Germany, 23. March 2004.
31: C. Schneider.
Symbolic summation with single-nested sum extensions.
ISSAC'04, Santander, Spain, July 2004.
32: C. Schneider.
Symbolic summation with single-nested sum extensions.
Contributed talk at ISSAC'04, Santander, Spain, 6. July 2004.
33: C. Schneider.
Finding telescopers with minimal depth for indefinite nested sum and product expressions.
Contributed talk at ISSAC'05, Beijing, China, 27. July 2005.
34: C. Schneider.
The summation package Sigma evaluates Feynman integrals.
Contributed talk at ACAT, XI International Workshop on Advanced Computing and Analysis Techniques in Physics Research, 25. April 2007.
35: B. Zimmermann.
WZ forms in hypergeometric summation.
Contributed talk at ``44th Sém. Lothar. Combin.'', Domaine Saint-Jacques, France, March 2000.
36: B. Zimmermann.
Structure set computation in hypergeometric summation.
Contributed talk at Eighth International Conference on Applications of Computer Algebra, Volos, Greece, June 2002.
37: B. Zimmermann.
Wavelets and Gröbner bases: How to reduce the number of variables by a factor of two.
Contributed talk at GAMM 2002, Augsburg, Germany, March 2002.
38: B. Zimmermann.
Definite symbolic integration and summation of special functions.
Contributed talk at Summer School On Orthogonal Polynomials And Special Functions, July 2004.
39: B. Zimmermann.
Parametrizing bronstein's ``poor man's'' integrator.
Contributed talk at SFB Status-Seminar, April 21 2006.
40: B. Zimmermann.
On symbolic definite summation.
Contributed talk at SFB Status-Seminar 2007, April 21 2007.

Please direct your comments or eventual problem reports to webmaster.

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