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


UnpublishedInvited


September 27, 2008

Bibliography

1
S. Gerhold.
Recurrence Relations and Inequalities.
Invited colloquium talk at INRIA Rocquencourt, November 2005.
2
S. Gerhold.
Special Functions: Applications of Computer Algebra in Stochastics.
Invited colloquium talk at Vienna University of Technology, 10. January 2006.
3
M. Kauers.
Computer algebra proofs for combinatorial inequalities and identities.
Invited talk at MAP'06, 2006.
4
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.
5
M. Kauers.
Computer algebra for special function inequalities.
Invited talk at National Meeting of the AMS / Special Session on Experimental Mathematics, January 5 2007.
6
M. Kauers.
Cylindrical algebraic decomposition and applications to special functions.
Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn, 2007-05-08 2007.
7
M. Kauers.
Gröbner Bases and applications to special functions.
Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn, 2007-05-09 2007.
8
M. Kauers.
A solution to exercise 95.
Invited colloquium talk at Rutgers University, 2007-07-26 2007.
9
M. Kauers.
Stirling number identities.
Invited talk at Methods of Proof theory in Mathematics, 2007-06-05 2007.
10
P. Paule.
Automatic hypergeometric summation: The WZ-engine in theory and practice.
Invited key lecture at the ``Summerschool on Group Theory and Lie Algebras'', Leiden, 1998.
11
P. Paule.
Automatic hypergeometric summation: The WZ-engine in theory and practice.
Invited key-lecture and computer algebra presentation at ``Summerschool on Group Theory and Lie Algebras'', Leiden, Netherlands, 1998.
12
P. Paule.
Hypergeometric summation: Fine-tuning of the WZ-engine.
Invited key lecture, Seminaire Lotharingien de Combinatoire, Strasbourg, 1998.
13
P. Paule.
Hypergeometric summation: Tables AND algorithms.
Invited lecture, DLMF Seminar Series, NIST, Gaithersburg, 1998.
14
P. Paule.
Hypergeometric sums and multisums: tuning the WZ engine.
Invited key-lecture at ``41st Sém. Lothar. Combin.'', Strasbourg, France, 1998.
15
P. Paule.
$q$WZ-theory and Bailey chains.
Invited talk, INRIA-Paris, 1998.
16
P. Paule.
WZ theory: Back to Chapter I.
Invited lecture, Symbolic Computation Workshop, MSRI, Berkeley, 1998.
17
P. Paule.
Algorithmic aspects of $q$-hypergeometric summation.
Invited talk at Conference on Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics, Gainesville, Florida, November 1999.
18
P. Paule.
The renaissance of MacMahon's partition analysis.
Invited talk at Euroconference on Algebraic Combinatorics and Applications, September 1999.
19
P. Paule.
The renaissance of MacMahon's partition analysis.
Invited talk at Nankai University, China, October 1999.
20
P. Paule.
Symbolic summation: Recent progress.
Talk at SNSC'99, Hagenberg, Austria, August 1999.
21
P. Paule.
Computer algebra and multiple sums.
Invited lecture at ``Special Functions 2000'', Tempe, Arizona, 2000.
22
P. Paule.
Omega -- a computer algebra package for MacMahon's partition analysis.
Invited lecture at ``Conference on $q$-Series with Applications to Combinatorics, Number Theory and Physics'', Urbana-Champaign, Illinois, 2000.
23
P. Paule.
Symbolic summation -- recent progress.
Invited lecture at ``10th SIAM Conference on Discrete Mathematics'', Minneapolis, Minnesota, 2000.
24
P. Paule.
Symbolic summation and physics: summation and MacMahon's partition analysis.
Invited key-lecture at ``6th International School on Theoretical Physics'', Rzeszow, Poland, 2000.
25
P. Paule.
Symbolic summation and physics: summation and recurrences.
Invited key-lecture at ``6th International School on Theoretical Physics'', Rzeszow, Poland, 2000.
26
P. Paule.
Symbolic computation and wavelets.
Invited talk at the IMACS conference on applications of Computer Algebra, Albuquerque, New Mexico, June 2001.
27
P. Paule.
Symbolic summation: Algorithms and missed opportunities.
Invited talk at ``Special Functions in the Digital Age'', Minneapolis, Minnesota, July 2002.
28
P. Paule.
Contiguous relations and creative telescoping.
Invited talk at 50th Lotharingien Seminar of Combinatorics, Domaine Saint-Jacques, France, March 2003.
29
P. Paule.
Special functions and computer algebra.
Invited talk at Conference on Special Functions, Representation Theory and Applications, University of Amsterdam, The Netherlands, August 2003.
30
P. Paule.
Special functions, computer algebra and numerics.
Invited talk at International Workshop on Numerical and Symbolic Scientific Computing, Strobl, Austria, June 2003.
31
P. Paule.
Symbolic summation: Constructive aspects and verification.
Invited talk at Schloß Dagstuhl, Germany, January 2003.
32
P. Paule.
Computer algebra and Stembridge's TSPP theorem.
Nanakai University, China, August 2004.
33
P. Paule.
Computer algebra and Stembridge's TSPP theorem.
Invited talk at Combinatorics, Physics and Special Functions, Conference honoring Jim Louck, August 2004.
34
P. Paule.
Computer-assisted proving and finding in combinatorics and special functions.
CIRM at Luminy (near Marseille), January 2004.
35
P. Paule.
Computer-assisted proving and finding in combinatorics and special functions.
Invited talk at Conference on Computer Algebra, Certified algorithms, Constructive proofs, January 2004.
36
P. Paule.
Computer Algebra Proofs of Frank Olver's Problems.
Invited talk at the Editorial Meeting of the Digital Library of Mathematical Functions (DLMF), National Institute of Standards and Technology (NIST), Gaithersburg, USA, 6. May 2005.
37
P. Paule.
Computer algebra proofs of Frank Olver's problems.
Invited talk at Editorial Meeting of the Digital Library of Mathematical Functions (DLMF), May 2005.
38
P. Paule.
Computer Algebra Tools for Special Functions in Physics.
Invited talk at the Theoretical Physics Lab, NIST, Gaithersburg, USA, 9. May 2005.
39
P. Paule.
Computer algebra tools for special functions in physics.
Invited colloquium talk at National Institute of Standards and Technology (NIST), Gaithersburg, USA, May 2005.
40
P. Paule.
Contiguous Relations and Creative Telescoping.
Invited talk at the International Conference on Difference Equations, Special Functions and Applications, Munich, Germany, 29. June 2005.
41
P. Paule.
Contiguous relations and creative telescoping.
Invited key-note lecture. Invited talk at International Conference on Difference Equations, Special Functions and Applications, July 2005.
42
P. Paule.
Partition Analysis: MacMahon's Dream came true.
Invited talk at Festkolloquium for Prof. J. Cigler, University of Vienna, Austria, 30. September 2005.
43
P. Paule.
Partitionsanalysis: MacMahon's Traum wurde Wirklichkeit.
Invited talk at TU Graz, 2. December 2005.
44
P. Paule.
Plane Partitions Revisited.
Invited talk at Special Session Algebraic Combinatorics, Joint Meeting of AMS, DMV, and ÖMG, Mainz, Germany, 15. June 2005.
45
P. Paule.
Plane partitions revisited.
Invited talk at Joint meeting of the AMS, GMV and OeMG societies, June 2005.
46
P. Paule.
Special Functions and Computer Algebra.
Invited talk at Dagstuhl Seminar: Mathematics, Algorithms, Proofs, 10. January 2005.
47
P. Paule.
Special functions and computer algebra.
Invited talk at Dagstuhl Seminar: Mathematics, Algorithms, and Proofs - MAP'05, January 2005.
48
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.
49
P. Paule.
Quartics, log-concavity and computer algebra.
Dagstuhl Seminar No. 06271. Invited talk at Challenges in Symbolic Computation Software, 2-7 July 2006.
50
P. Paule.
Computer algebra and the rogers-ramanujan identities.
Invited tutorial lecture. Invited talk at Special Semester on Methods of Proof Theory in Mathematics, May 3rd 2007.
51
P. Paule.
Computer algebra und macmahon's partition analysis.
Invited tutorial lecture. Invited talk at Special Semester on Methods of Proof Theory in Mathematics, May 3rd 2007.
52
P. Paule.
A computer proof of a conjecture of Moll.
Invited talk at Mathematics: Algorithms and Proofs - MAP'07, 8-12 January 2007.
53
P. Paule.
Let's compute a proof: Aspects of computer algebra in proving.
Invited key-note lecture. Invited talk at 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS 2007, June 2007.
54
P. Paule.
Perspektiven: Beweisen mit dem computer.
Invited colloquium talk at University Bayreuth, Germany, July 20th 2007.
55
P. Paule.
Symbolic computation in combinatorics: Recent progress at risc.
Invited key-note lecture. Invited talk at Conference on Formal Power Series and Algebraic Combinatorics -FPSAC'07, July 2007.
56
A. Riese.
Computer proofs of hypergeometric summation identities and partition analysis.
Invited talk at ``Special Functions in the Digital Age'', Minneapolis, Minnesota, July 2002.
57
C. Schneider.
Sigma: A summation package for discovering and proving.
Invited talk at the IMA Summer Program on ``Special Functions in the Digital Age'', Minnesota, Minneapolis, July 2002.
58
C. Schneider.
Symbolic summation in ${\Pi}{\Sigma}$-fields.
Invited talk at the Special Session on Symbolic Summation at Applications of Computer Algebra Conference (ACA2003), Raleigh, North Carolina, 2003.
59
C. Schneider.
Proving and finding multisum identities in difference fields.
Computer Algebra, Certified algorithms, Constructive proofs, Luminy, France, January 2004.
60
C. Schneider.
Proving and finding multisum identities in difference fields.
Luminy, France. Invited talk at Computer Algebra, Certified algorithms, Constructive proofs, 16. January 2004.
61
C. Schneider.
Lecture ``Analysis of algorithms and symbolic summation'' in the frame of the european erasum/socrates programme.
Invited colloquium talk at West University of Timisoara, Faculty of Mathematics and Computer Science, 13. May 2005.
62
C. Schneider.
Some notes on ``When is 0.999 equal to 1?''.
Invited talk at the Seminar ``Mathematics, Algorithms, Proofs'', IBFI Schloss Dagstuhl, Wadern, Germany, 10. January 2005.
63
C. Schneider.
When is $0.999...$equal to $1$?
Invited talk at Special Session Algebraic Combinatorics, Joint Meeting of AMS, DMV, and ÖMG, Mainz, Germany, 16. June 2005.
64
C. Schneider.
Sigma - a package for multi-summation.
Invited talk at Axiom Workshop 2006, RISC, Hagenberg, Austria, April 27 2006.
65
C. Schneider.
The summation package sigma simplifies harmonic sum expressions.
Invited colloquium talk at DESY, Zeuthen, Germany, 21. September 2006.
66
C. Schneider.
Symbolic summation assists combinatorics.
Series of invited keynote talks at 56th Sém. Lothar. Combin., Ellwangen, Germany, April 9 - 12 2006.
67
C. Schneider.
Multi-summation and d-finite sequences.
Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 2. May 2007.
68
C. Schneider.
Multi-summation tools and special functions.
Invited talk at Conference on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 6. June 2007.
69
C. Schneider.
The summation package sigma evaluates Feynman integrals.
Invited talk at Computer Algebra and Particle Physics, CAPP 2007, 29. March 2007.
70
C. Schneider.
Symbolic summation and applications.
Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany, 30. April 2007.
71
B. Zimmermann.
Summation in difference-differential rings.
Invited talk at International Conference on Applications of Computer Algebra, Raleigh, North Carolina, July 2003.




Please direct your comments or eventual problem reports to webmaster.

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