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


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 $q$-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 $q$-Series with Applications to Combinatorics, Number Theory and Physics, Urbana-Champaign, Illinois, October 2000.
17
A. Riese.
Symbolic $q$-hypergeometric summation and partition analysis.
Contributed talk at ``Special Functions 2000'', Tempe, Arizona, June 2000.
18
A. Riese.
qMultiSum -- A package for proving $q$-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