Publications of the Project F1305

UnpublishedUnInvited

September 27, 2008

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

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