| Univ.-Prof. Dr. Carsten Schneider
Johannes Kepler University Linz RISC - Research Institute for Symbolic Computation Carsten.Schneider@risc.jku.at (Tel: +43 732 2468 9966) |
Talks
| Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [earlier] |
| 1. | Computer algebra and Feynman integrals. February 13, 2024, 2024. MPI Leipzig, Germany. Invited talk at Positive Geometry in Particle Physics and Cosmology. [url] [pdf] [bib] |
| 2. | Symbolic Computation and Feynman Integrals. March 6, 2024. Zoom presentation. Invited colloquium talk at Seminar series on motives and period integrals in Quantum field theory and String theory, IPhT CEA-Saclay/University of Oxford. [pdf] [bib] |
| 3. | Challenges of the large moment method. April 16, 2024. Wittenberg, Germany. Invited talk at Loops and Legs in Quantum Field Theory. [url] [pdf] [bib] |
| 4. | Computer Algebra Methods for Feynman Integrals. February 15, 2023. Invited talk at Mathematical Structures in Feynman Integrals, Emmy Noether Campus, Siegen, Germany. [url] [pdf] [bib] |
| 5. | Refined telescoping algorithms in $RPiSigma$-extensions to reduce the degrees of the denominators. July 26, 2023. Contributed talk at ISSAC '23: International Symposium on Symbolic and Algebraic Computation. [url] [pdf] [bib] |
| 6. | Summation Tools for Combinatorics and Elementary Particle Physics. IHP, Paris, France, December 4, 2023. Invited talk at Workshop: Computer Algebra for Functional Equations in Combinatorics and Physics. [url] [pdf] [bib] |
| 7. | Technologie und Fortschritt braucht Mathematik. April 28, 2023. Invited colloquium talk at Mittelschule Schwertberg. [bib] |
| 8. | Mustervorlesung: 1+2+3+...+n=?. September 21, 2023. Invited colloquium talk at SIM (Studien-Info-Messe), JKU. [bib] |
| 9. | Computing asymptotics of nested binomial sums. June, 2023. Contributed talk at LARD. [bib] |
| 10. | Multi-Summation in Difference Rings and Applications. March 11, 2022. Invited colloquium talk at Seminar of Algebra and Logic, IMI/BAS, Sofia, Bulgaria. [url] [pdf] [bib] |
| 11. | Computer Algebra and Hypergeometric Structures for Feynman Integrals. April 27, 2022. Ettal, Germany. Invited talk at Loops and Legs in QFT. [url] [pdf] [bib] |
| 12. | Symbolic methods for analytic solutions of differential & difference equations and related tools. May 24, 2022. Cooperation workshop between RISC-JKU and DESY-Zeuthen. Invited colloquium talk at DESY Zeuthen, Germany. [pdf] [bib] |
| 13. | Computer Algebra and Special Function Algorithms for Feynman Integrals. QMUL, London, England, June 21, 2022. Invited talk at SAGEX Closing Meeting. [url] [pdf] [bib] |
| 14. | Symbolic summation, linear difference equations and challenging applications. July 20, 2022. Plenary talk. Invited talk at 27th International Conference on Difference Equations and Applications (ICDEA). [url] [pdf] [bib] |
| 15. | RISC: A center for symbolic computation and its applications . Septermber 13, 2022. RISC, Hagenberg, Austria. Invited talk at Session "Hagenberg Research" at the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). [url] [bib] |
| 16. | Asymptotics of binomially weighted sums. December 6, 2022. Contributed talk at SFB Veteran Meeting 2022. [pdf] [bib] |
| 17. | Solving Linear Difference Equations in Idempotent Representations. 22.July 2021, 2021. St. Petersburg, Russia. Zoom-presentation based on the corresponding Proc. ISSAC 21 article by Jakob Ablinger and Carsten Schneider. Contributed talk at ISSAC 2021. [url] [pdf] [bib] |
| 18. | Function spaces in QFT at higher loops and their algorithmic exploration. July 29, 2021. Cadenabbia, Italy. Invited talk at A Loop Summit - new perturbative results and methods in precision physics: Quantum Field Theory, Collider Physics and Gravity. [url] [pdf] [bib] |
| 19. | Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation. August 10, 2021, 2021. Invited colloquium talk at SFB-Meeting Algorithmic and Enumerative Combinatorics (AEC) at JKU. [pdf] [bib] |
| 20. | Symbolic Summation in Difference Rings and Challenging Applications. September 10, 2021. Invited talk at Special Session on Computer Algebra and Computational Logic at the 9th International Symposium on Symbolic Computation in Software Science. [url] [pdf] [bib] |
| 21. | Difference Ring Algorithms for Symbolic Summation and Challenging Applications. September 16, 2021. Invited colloquium talk at Rutgers Experimental Mathematics Seminar, Rutgers University, U.S.A.. [url] [pdf] [bib] |
| 22. | Solving Linear Difference Equations in Difference Rings. November 21, 2021. online. Invited talk at SFB Statusseminar, Algorithmic and Enumverative Combinatorics. [pdf] [bib] |
| 23. | Symbolic Summation in Difference Rings and its Applications. April 26, 2021. Invited colloquium talk at RISC (RISC Forum). [bib] |
| 24. | Project status. December 16, 2020. Invited colloquium talk at SFB Statusseminar, online because of Covid-19. [pdf] [bib] |
| 25. | Summation Theory and Integration. DESY, Zeuthen, Germany, October 6, 2020. Invited talk at Antidifferentiation and the Calculation of Feynman Amplitudes. [url] [pdf] [bib] |
| 26. | Symbolic Summation and (q-)Applications. SFB-meeting, April 12, 2019. Invited colloquium talk at University of Vienna. [pdf] [bib] |
| 27. | The Difference Ring Approach for Symbolic Summation. June 17, 2019. Invited talk at 3rd International Conference "Computer Algebra", Moscow, Russia. [url] [pdf] [bib] |
| 28. | Symbolic Summation, difference ring algorithms and $q$-applications. July 22, 2019. Invited talk at MS11: Developments in $q$-series and the theory of partitions, OPSFA 2019, Hagenberg, Austria. [url] [pdf] [bib] |
| 29. | An algorithmic summation theory for indefinite nested sums and products. July 24, 2019. Invited talk at MS06: Symbolic computation and special functions, OPSFA 2019, Hagenberg, Austria. [url] [pdf] [bib] |
| 30. | A refined machinery to calculate large moments from coupled systems of linear differential equations. September 12, 2019. Contributed talk at Contributed talk at 11th International Symposium on Radiative Corrections (RADCOR) , Avignon, France. [url] [pdf] [bib] |
| 31. | An Algorithmic Difference Ring Theory for Symbolic Summation. November 1, 2019. Invited colloquium talk at Kolchin Seminar in Differential Algebra, City University of New York, U.S.A.. [url] [pdf] [bib] |
| 32. | The summation package Sigma and (q-)applications. November 3 , 2019. Gainesville, Florida, U.S.A.. Invited talk at Special Session on Experimental Mathematics in Number Theory and Combinatorics, AMS Sectional Meeting. [url] [pdf] [bib] |
| 33. | Symbolic Summation and (q-)Applications. Nankai University, Tianjin, China, July 26, 2018. Invited talk at Summer Research Institute on q-Series. [url] [pdf] [bib] |
| 34. | Computer algebra tools for Feynman integrals and related multi-sums. May 2, 2018. St. Goar, Germany. Invited talk at Loops and Legs. [url] [pdf] [bib] |
| 35. | How Symbolic Summation Is Used in Particle Physics. Mathematica, June 14, 2018. Oxford, England. Invited talk at European Wolfram Technology Conference. [url] [pdf] [bib] |
| 36. | Computer Algebra Algorithms for the Evaluation of Feynman Integrals. February 26, 2018. Valencia, Spain. Invited talk at PARTICLEFACE 2018. [url] [pdf] [bib] |
| 37. | Symbolic Summation and Integration Tools for Feynman Integrals. QMUL, London, England, September 4, 2018. Invited talk at SAGEX, Kickoff Meeting. [url] [pdf] [bib] |
| 38. | Towards a Direct Method for Finding Hypergeometric Solutions of Linear First Order Recurrence Systems. 2018. Extended abstract appeared in ACM Communications Vol. 52, No. 3, Issue 205, September 2018. Poster presentation at ISSAC 2018. [pdf] [bib] |
| 39. | All You Can Sum. RISC, JKU, February 7, 2017. Hagenberg, Austria. Invited talk at Computer Algebra and Elementary Particle Theory at the Large Scale: 10 Years of JKU-DESY Collaboration. [url] [pdf] [bib] |
| 40. | Massive Computer Algebra for Particle Physics . RISC, JKU, February 7, 2017. Hagenberg, Austria. Invited talk at Computer Algebra and Elementary Particle Theory at the Large Scale: 10 Years of JKU-DESY Collaboration. [url] [pdf] [bib] |
| 41. | Symbolic Summation for Combinatorics and Particle Physics. Universität Wien, Austria, October 25, 2017. Invited talk at Kombinatorischer Nachmittag anlässlich des 80. Geburtstages von emer. o. Univ.-Prof. Dr. Johann Cigler. [url] [pdf] [bib] |
| 42. | Difference Field Methods in Feynman Diagram Calculations. DESY Zeuthen, October 23, 2017. Zeuthen, Germany. Invited talk at Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory. [url] [pdf] [bib] |
| 43. | Symbolic summation packages for elementary particle physics. Zuse, Berlin, Germany, 14.7.2016, 2016. Invited talk at Session "Symbolic computation and elementary particle physics" at the International Congress on Mathematical Software (ICMS 2016). [url] [pdf] [bib] |
| 44. | Symbolic summation in difference rings and applications. Wilfrid Laurier University, Waterloo, Canada, July 22, 2016. Invited talk at ISSAC 2016. [url] [pdf] [bib] |
| 45. | Algorithms to solve coupled differential systems in terms of power series. April 25, 2016. Leipzig, Germany. Invited talk at Loops and Legs in Quantum Field Theory (LL2016). [url] [pdf] [bib] |
| 46. | Representation of hypergeometric products in difference rings. 2016. Poster presentation at 41st International Symposium on Symbolic and Algebraic Computation (ISSAC’16). [url] [pdf] [bib] |
| 47. | Denominator Bounds for Higher Order Systems of Linear Recurrence Equations. 2016. Poster presentation at ISSAC 2016. [url] [pdf] [pdf] [bib] |
| 48. | Characterizations of $R\Pi\Sigma$-extensions. Wilfrid Laurier University, Waterloo, Canada, July 24, 2016. Invited talk at Waterloo Workshop on Computer Algebra. [url] [bib] |
| 49. | Symbolic summation assists particle physics. December 8, 2016. Invited colloquium talk at Centre of Research in String Theory, Queen Mary University London, GB. [pdf] [bib] |
| 50. | Symbolic summation for particle physics: difference ring theory, stable software and proof certificates. Fields Institute, Toronto, Canada, December 15, 2015. Invited talk at Workshop on Algebra, Geometry and Proofs in Symbolic Computation. [url] [pdf] [bib] |
| 51. | Refined Parameterized Telescoping Algorithms. July 22, 2015. Kalamata, Greece. Invited talk at Applications of Computer Algebra (ACA'15), Session 7: Symbolic summation and integration: algorithms, complexity, and applications. [url] [pdf] [bib] |
| 52. | Symbolische Summation erforscht die Welt der Elementarteilchen. Johannes Kepler University, Feburary 27, 2015. Linz, Austria. Invited talk at Zukunft der Forschung. [pdf] [bib] |
| 53. | Symbolic Summation for Combinatorial and Related Problems. June 10, 2015. Strobl, Austria. Invited talk at 26th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2015). [url] [pdf] [bib] |
| 54. | Calculation of 3-Loop massive ladder and V-Diagrams with difference-ring techniques. June 17, 2015. UCLA, Los Angeles, U.S.A.. Contributed talk at 11th International Symposium on Radiative Corrections (RADCOR) and the Loopfest. [url] [pdf] [bib] |
| 55. | Wie die Symbolische Summation die Welt der Elementarteilchen erforscht. May 12, 2015. Hagenberg, Austria. Invited colloquium talk at RISC Software GmbH, Johannes Kepler University. [pdf] [bib] |
| 56. | Sophisticated computer algebra technologies for Feynman integrals. November 24, 2014. Berlin-Brandenburgische Akademie der Wissenschaften, Berlin, Germany. Invited talk at LHCPhenoNet Final Meeting. [url] [pdf] [bib] |
| 57. | Symbolic Summation in Difference Rings – with Applications in Combinatorics, Numerics, and Physics (Invited tutorial). September 25, 2014. Timisoara, Romania. Invited talk at 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014). [url] [nb] [pdf] [bib] |
| 58. | Modern Summation Technologies applied to Quantum Field Theory. September 17, 2014. Durbach, Germany. Invited talk at SFB TR-9, Final Meeting ``Advances in Computational Particle Physics''. [url] [pdf] [bib] |
| 59. | Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations. April 29, 2014. Weimar, Germany. Invited talk at Loops and Legs in Quantum Field Theory. [url] [pdf] [bib] |
| 60. | Symbolic summation and the Sigma package. DESY, Zeuthen, Germany, March 13, 14, 2013. Invited talk at Computer Algebra and Particle Physics, CAPP 2013. [url] [pdf] [pdf] [bib] |
| 61. | Fast Algorithms for Refined Parameterized Telescoping\break in Difference Fields. RICAM, November 28, 2013. Invited talk at Special Semester Applications of Algebra and Number Theory, Workshop 3: Computer algebra and polynomials. [url] [pdf] [bib] |
| 62. | Symbolic Summation for Combinatorial and Physical Problems. Colorado State University, Fort Collins, Colorado, USA, August 4, 2013. Invited talk at Minisymposium: Symbolic Combinatorics at the SIAM Conference on Applied Algebraic Geometry. [url] [pdf] [bib] |
| 63. | Solution of Loop Integrals in Quantum Field Theory using Modern Summation Methods. May 17, 2013. Plenary talk, Beijing, China. Invited talk at 15th International Workshop on Advanced Computing and Analysis Techniques in Physics (ACAT 2013). [url] [pdf] [bib] |
| 64. | Modern Summation Technologies and the Calculation of 3-Loop Diagrams. DESY, April 19, 2012. Invited talk at Loops and Legs in Quantum Field Theory 2012, Wernigerode, Germany. [url] [pdf] [bib] |
| 65. | Summation, Integration and Special Function Algorithms for Feynman Integrals. September 3, 2012. Invited talk at symposium Quantum Chromodynamics: History and Prospects, Oberwölz. [url] [pdf] [bib] |
| 66. | Difference field algorithms for Feynman integrals. RISC-DESY, July 12-13, 2012. Invited talk at LHCPhenoNet school Integration, Summation and Special Functions in Quantum Field Theory, Hagenber, Austria. [url] [pdf] [pdf] [nb] [bib] |
| 67. | Evaluation of multi-sums for large scale problems. January 22, 2012. Contributed talk at Annual Meeting of the LHCPhenoNet, Durham, England. [url] [pdf] [bib] |
| 68. | Computer algebra and elementary particle physics: a successful story. May 7, 2012. Contributed talk at RISC-DESY Workshop ``Advanced Summation Techniques and their Applications in Quantum Field Theory'', Hagenberg, Austria. [url] [pdf] [bib] |
| 69. | Multi-Summation and Difference Field Theory for Particle Physics. October 30, November 1, 2012. Invited colloquium talk at DESY Zeuthen, Germany. [pdf] [nb] [bib] |
| 70. | Multi-Summation in Refined Difference Fields. November 8, 2012. Invited colloquium talk at Microsoft Research - Inria Joint Centre, Campus de l'Ecole polytechnique, France. [pdf] [bib] |
| 71. | Multi-Summation for Particle Physics. 2. February, 2011. Valencia, Spain. Contributed talk at Kick-off meeting of the LHCPhenoNet Initial Training Network. [url] [pdf] [bib] |
| 72. | Symbolic Summation and its Application in Particle Physics. March 1, 2011. Ljubljana, Slovenia. Invited colloquium talk at University of Ljubljana. [pdf] [bib] |
| 73. | Symbolic Summation for Particle Physics. September 29, 2011. Mamallapuram, India. Invited talk at 10th International Symposium on Radiative Corrections (RADCOR). [url] [pdf] [bib] |
| 74. | Symbolic Summation in Perturbative Quantum Field Theory. July 12, 2011. Budapest, Hungary. Invited talk at Foundations of Computational Mathematics (FoCM) 2011, session ``Symbolic Analysis''. [url] [pdf] [bib] |
| 75. | Modern summation and integration methods for multi-loop Feynman diagrams. University of Vienna, Austria, November 26, 2011. Invited talk at 8th Vienna Central European Seminar on Particle Physics and Quantum Field Theory. [url] [pdf] [bib] |
| 76. | Multi-summation algorithms for particle physics. Deutsches Elektronen-Synchrotron, October 4, 2011. Zeuthen, Germany. Invited talk at German-Japanese Workshop on Modern Trends in Quantum Chromodynamics. [url] [pdf] [bib] |
| 77. | A symbolic summation approach to Feynman integrals. 2010. Appeared in ACM SIGSAM Bulletin Volume 44 Issue 3/4, September/December 2010. Poster presentation at Issac 2010. [url] [pdf] [bib] |
| 78. | Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams. 27. April, 2010. Wörlitz, Germany. Invited talk at Loops and Legs in QFT 2010. [url] [pdf] [bib] |
| 79. | Symbolic summation and integration. RISC, J. Kepler University, Linz, Austria, July 5.-9., 2010. Invited talk at Fifth Training School in Symbolic Computation. [url] [pdf] [bib] |
| 80. | A Symbolic Summation Toolbox to Evaluate 3-loop Feynman Integrals. Center of Combinatorics, Nankai University, Tianjin, China, 16. August, 2010. Invited talk at The Renaissance of Combinatorics: Advances - Algorithms - Applications. [pdf] [bib] |
| 81. | Symbolic Summation and the Evaluation of 3-loop Feynman Integrals. 2. July, 2010. Maribor, Slovenia. Invited talk at Symbolic Computation and its Applications. [url] [pdf] [bib] |
| 82. | Advanced Summation Algorithms and its Application in Particle Physics. Harish-Chandra Research Institute, Allahabad, India, 18. and 19. February, 2009. Invited talk at Getting Ready for Physics at the LHC, Regional Centre for Accelerator based Particle Physics. [pdf] [bib] |
| 83. | Modern Summation Technologies in Computer Algebra. Berlin-Brandenburgische Akademie der Wissenschaften, Berlin, 7. October, 2009. Invited talk at QCD: The Modern View of the Strong Interactions. [url] [pdf] [bib] |
| 84. | Difference Fields and Symbolic Summation in Sage. RISC, J. Kepler University Linz, Hagenberg, 27. July, 2009. Invited talk at Combinat 2009 - International Sage Workshop on Free and Practical Software for Algebraic Combinatorics. [url] [pdf] [bib] |
| 85. | Symbolic Summation and its Application in Particle Physics. RISC, J. Kepler University Linz, Hagenberg, 24. July, 2009. Invited talk at 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC). [url] [pdf] [bib] |
| 86. | A Refined Difference Field Theory and Optimal Nested Sum Representations. RISC, J. Kepler University Linz, Hagenberg, 19. July, 2009. Invited talk at Summation/Integration/Differential/Difference Equations Workshop 2009. [pdf] [bib] |
| 87. | George E. Andrews' Alternative Approach of Stembridge's TSPP Theorem. December 7, 2008. Contributed talk at Combinatory Analysis 2008: Partitions, q-series, and Applications. [url] [pdf] [bib] |
| 88. | Difference field algorithms for Quantum Field Theory. July 30, 2008. Hagenberg, Austria. Invited talk at Applications of Computer Algebra (ACA'08), Session 12: Symbolic computation and quantum field theory. [url] [pdf] [bib] |
| 89. | Symbolic Summation in Difference Fields and Particle Physics. Philipps University, Marburg, May 2, 2008. Invited talk at Discrete Mathematics, Biannual Meeting of Fachgruppe Diskrete Mathematik of Deutsche Mathematiker Vereinigung. [url] [pdf] [bib] |
| 90. | Multi-Summation in Difference Fields. 8. January 2008, 2008. San Diego. Invited talk at AMS Special Session on Applications of Computer Algebra in Enumerative and Algebraic Combinatorics at the 2008 Joint Mathematics Meetings. [url] [pdf] [bib] |
| 91. | Difference Field Algorithms and Algebraic Independence of Nested Sums and Products. June, 9, 2008. Boston, USA. Invited talk at Motives, Quantum Field Theory, and Pseudodifferential Operators. [url] [pdf] [bib] |
| 92. | Symbolic Summation and its Application in Particle Physics. July 25, 2008. Hagenberg, Austria. Invited talk at The 4th International Conference on Symbolic and Numerical Scientific Computing (SNSC'08). [url] [pdf] [bib] |
| 93. | Parameterized telescoping proves algebraic independence of sums. 2007. Poster presentation at FPSAC 2007. [url] [pdf] [pdf] [bib] |
| 94. | The summation package Sigma evaluates Feynman Integrals. NIKHEF, Amsterdam, Netherlands, 25. April, 2007. Contributed talk at ACAT, XI International Workshop on Advanced Computing and Analysis Techniques in Physics Research. [url] [pdf] [bib] |
| 95. | Multi-Summation and D-finite sequences. 2. May, 2007. Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany. [pdf] [bib] |
| 96. | Symbolic Summation and Applications. 30. April, 2007. Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany. [pdf] [bib] |
| 97. | The summation package Sigma evaluates Feynman Integrals. Deutsches Elektronen Synchrotron, Zeuthen, Germany, 29. March, 2007. Invited talk at Computer Algebra and Particle Physics, CAPP 2007. [url] [pdf] [bib] |
| 98. | Introduction to Basic Techniques and Software for Symbolic Summation and Integration. RISC, J. Kepler University, Linz, Austria, February, 2007. Invited talk at the First Training School in Symbolic Computation. Invited talk at Fifth Training School in Symbolic Computation. [url] [pdf] [bib] |
| 99. | Multi-Summation Tools and Special Functions. 6. June, 2007. Invited talk at Conference on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany. [pdf] [bib] |
| 100. | The summation package Sigma simplifies harmonic sum expressions. 21. September, 2006. Invited colloquium talk at DESY, Zeuthen, Germany. [pdf] [bib] |
| 101. | Sigma - A package for multi-summation. April 27, 2006. Invited talk at Axiom Workshop 2006, RISC, Hagenberg, Austria. [url] [pdf] [bib] |
| 102. | Symbolic Summation assists combinatorics. April 9 - 12, 2006. Invited talk at 56th Sem. Lothar. Combin., Ellwangen, Germany. [url] [pdf] [pdf] [pdf] [bib] |
| 103. | Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions. 27. July, 2005. Contributed talk at ISSAC'05, Beijing, China. [url] [pdf] [bib] |
| 104. | When is $0.999...$ equal to $1$?. 16. June, 2005. Invited talk at Special Session Algebraic Combinatorics, Joint Meeting of AMS, DMV, and ÖMG, Mainz, Germany. [url] [pdf] [bib] |
| 105. | Lecture ``Analysis of Algorithms and Symbolic Summation'' in the frame of the European Erasum/Socrates programme. 13. May, 2005. Invited colloquium talk at West University of Timisoara, Faculty of Mathematics and Computer Science. [bib] |
| 106. | Some notes on ``When is 0.999 equal to 1?''. IBFI Schloss Dagstuhl, Wadern, Germany, 10. January, 2005. Invited talk at Seminar ``Mathematics, Algorithms, Proofs''. [url] [pdf] [bib] |
| 107. | Proving and Finding Multisum Identities in Difference Fields. 16. January, 2004. Luminy, France. Invited talk at Computer Algebra, Certified algorithms, Constructive proofs. [pdf] [bib] |
| 108. | Symbolic Summation over Recurrences and Indefinite Nested Sums and Products. 23. March, 2004. Contributed talk at GAMM Jahrestagung 2004, Dresden, Germany. [pdf] [bib] |
| 109. | Symbolic Summation with Single-Nested Sum Extensions. 6. July, 2004. Contributed talk at ISSAC'04, Santander, Spain. [url] [pdf] [bib] |
| 110. | A Collection of Denominator Bound To Solve Parameterized Linear Difference Equations in $PiSigma$-Extensions. 27. September, 2004. Contributed talk at SYNASC 2004, Timisoara, Romania. [pdf] [bib] |
| 111. | Pade approximation, multisums, and Theorema. 17. June, 2003. Contributed talk at International Workshop on ``Numerical and Symbolic Scientific Computation'', Strobl, Austria. [pdf] [bib] |
| 112. | Symbolic Summation in ${Pi}{Sigma}$-Fields. 28. July, 2003. Invited talk at ACA 2003, Raleigh, North Carolina. [url] [pdf] [bib] |
| 113. | How One Can Play with Sums. 21. March, 2002. Mannheim, Germany. Contributed talk at 8th Rhine Workshop on Computer Algebra. [pdf] [bib] |
| 114. | Sigma: A Summation Package for Discovering and Proving. 1. August, 2002. Minnesota, Minneapolis. Invited talk at IMA Summer Program on ``Special Functions in the Digital Age''. [pdf] [bib] |
| 115. | Sigma: A summation package for discovering sum identities. 18. September, 2002. Invited colloquium talk at University of Stellenbosch, South Africa. [bib] |
| 116. | Sigma: A summation package for discovering sum identities. 26. September, 2002. Invited colloquium talk at University of Witwatersrand, Johannesburg, South Africa. [pdf] [bib] |
| 117. | Sigma: A summation package for discovering sum identities. 3. Dezember, 2002. Invited colloquium talk at Mathematics Department, University of Graz, Austria. [bib] |
| 118. | Symbolische Summation in Differenzen-Körpern. 11. January, 2002. Invited colloquium talk at Montana University, Leoben, Austria. [pdf] [bib] |
| 119. | Symbolic Summation in Difference Fields. 14. September, 2001. Austria, Hagenberg. Contributed talk at Conference Symbolic and Numeric Computation (SNSC'01). [url] [pdf] [bib] |
| 120. | Symbolic Summation in Difference Fields. 14. June, 2000. Minneapolis, Minnesota. Invited talk at 10th SIAM Conference on Discrete Mathematics. [url] [pdf] [bib] |
| 121. | Karr's Indefinite Summation Algorithm. 8. March, 1999. Contributed talk at 43th Sem. Lothar. Combin. [url] [pdf] [bib] |