• Home
• Publications
• Talks
• Software
• Teaching
• Curriculum Vitae
• Photography
• Miscellaneous

Talks

• Algorithmic Methods for Enumerative Combinatorics
  Invited lecture at Journées ALEA, CIRM, Luminy, France, March 17 – March 18, 2025.  [pdf] 
• Computer Algebra with D-Finite Functions
  Invited colloquium talk at the Mathematics Colloquium, Radboud University Nijmegen, June 20, 2024.  [pdf] 
• Creative Telescoping for D-Finite Functions
  Invited lecture at Journées Nationales de Calcul Formel (JNCF), CIRM, Luminy, France, March 5 – March 7, 2024.  [pdf] 
• Creative telescoping
  Invited lecture at the special programme "Recent Trends in Computer Algebra", Institut Henri Poincaré, Paris, November 27 – December 1, 2023.
• Tweaking the Beukers integrals in search of more miraculous irrationality proofs à la Apéry
  Invited talk at the Workshop on Effective Aspects in Diophantine Approximation, Institut Camille Jordan, Université Lyon 1, March 30, 2023.  [pdf] 
• The power of holonomic computation
  Invited colloquium talk at the Zu Chongzhi Mathematics Research Seminar, Duke Kunshan University, March 15, 2023.  [pdf] 
• Guessing with little data
  Invited colloquium talk at the MATHEXP-PolSys Seminar (GT: Transcendance et Combinatoire), LIP6, Sorbonne Université, Paris, France, November 25, 2022.  [pdf] 
• Guessing with little data
  Invited colloquium talk at the AriC Seminar (Arithmetic and Computing), ENS Lyon, October 13, 2022.  [pdf] 
• Guessing with little data
  Contributed talk at ISSAC (47th International Symposium on Symbolic and Algebraic Computation), Université de Lille, France, July 6, 2022.  [pdf] 
• Apéry limits and irrationality proofs
  Colloquium talk at the SFB F050 Status Seminar, November 30, 2021.  [pdf] 
• Abzählformeln für Rauten-Parkettierungen mittels holonomem Ansatz
  Invited talk at the DMV-ÖMG Annual Conference, University of Passau, Germany, September 27, 2021.  [pdf] 
• Realizations of rigid graphs
  Invited talk at ADG (13th International Conference on Automated Deduction in Geometry), September 15, 2021.  [pdf] 
• Automated proofs of mathematical identities
  Contributed talk at SCSS (9th International Symposium on Symbolic Computation in Software Science), September 10, 2021.  [pdf] 
• Binomial determinants for tiling problems yield to the holonomic ansatz
  Invited talk at Combinatorics and Algebras from A to Z, July 29, 2021.  [pdf] 
• Binomial determinants for tiling problems yield to the holonomic ansatz
  Invited colloquium talk at the Séminaire de Combinatoire, ENS Lyon, July 2, 2021.  [pdf] 
• Certificate-free summation and integration
  Colloquium talk at the SFB F050 Status Seminar, Strobl, Austria, December 16, 2020.  [pdf] 
• On Christol's conjecture
  Invited colloquium talk at the Rutgers Experimental Mathematics Seminar, Rutgers University, New Jersey, USA, October 22, 2020.  [pdf] 
• Holonomic Integration
  Invited talk at the Workshop on Antidifferentiation and the Calculation of Feynman Amplitudes, DESY Zeuthen, Germany, October 6, 2020.  [pdf] 
• Diagonals of rational functions
  Invited talk at DART X (Differential Algebra and Related Topics), City University New York, USA, February 10, 2020.  [pdf] 
• Computing the number of DSASMs
  Colloquium talk at the SFB F050 Status Seminar, Strobl, Austria, December 10, 2019.  [pdf] 
• Holonomic functions in the field
  Invited colloquium talk at the Seminar Computing with D-modules II, Max Planck Institut, Leipzig, Germany, September 3, 2019.  [pdf] 
• Computer algebra for basic hypergeometric functions
  Invited talk at OPSFA (15th International Symposium on Orthogonal Polynomials, Special Functions, and Applications), RISC, Hagenberg, Austria, July 24, 2019.  [pdf] 
• Diagonals, determinants, and rigidity
  Invited talk at the Conference on Applied Algebraic Geometry (Minisymposium "Symbolic Combinatorics"), University of Bern, Switzerland, organized by SIAM (Society for Industrial and Applied Mathematics), July 12, 2019.  [pdf] 
• Exact lower bounds for monochromatic Schur triples
  Colloquium talk at the SFB F050 Seminar, RICAM, Linz, Austria, June 12, 2019.  [pdf] 
• Enumeration of diagonally symmetric alternating sign matrices
  Invited talk at Transient Transcendence in Transylvania, Braşov, Romania, May 13, 2019.  [pdf] 
• Symbolic evaluation of determinants and rhombus tilings of holey hexagons
  Invited colloquium talk at the Rutgers Experimental Mathematics Seminar, Rutgers University, New Jersey, USA, July 20, 2018.  [pdf] 
• Symbolic evaluation of determinants and rhombus tilings of holey hexagons
  Contributed talk at the Workshop on Enumerative Combinatorics, Mathematisches Forschungsinstitut Oberwolfach, Germany, May 15, 2018.  [pdf] 
• Symbolic evaluation of determinants and rhombus tilings of holey hexagons
  Invited talk at the Workshop on Computer Algebra in Combinatorics, Erwin Schrödinger Institut (ESI), Vienna, Austria, November 16, 2017.  [pdf] 
• Computer algebra in the q-calculus
  Invited talk at the Combinatorics meeting on the occasion of Johann Cigler's 80. birthday, University of Vienna, Austria, October 25, 2017.
• Symbolic evaluation of determinants and rhombus tilings of holey hexagons
  Invited talk at the ALEA in Europe Workshop, Technical University of Vienna, Austria, October 12, 2017.  [pdf] 
• Reduction-based creative telescoping for D-finite functions
  Invited talk at Lattice walks at the Interface of Algebra, Analysis and Combinatorics, Banff International Research Station, Canada, September 19, 2017.  [pdf] 
• Computing the number of realizations of Laman graphs
  Invited talk at the CMAPT (Workshop on Computational Mathematics and Approximation Theory), RICAM, Linz, Austria, September 8, 2017.  [pdf] 
• Constructing linkages for drawing plane curves
  Invited talk at ACA (23rd Conference on Applications of Computer Algebra), Jerusalem College of Technology, Jerusalem, Israel, July 21, 2017.  [pdf] 
• Quod erat demonstrandum — proofs by computer
  Colloquium talk at the habilitation colloquium, JKU Linz, Austria, May 12, 2017.  [pdf] 
• Puiseux series and integral bases of algebraic functions
  Colloquium talk at the Wien-Linz Workshop in Klagenfurt, May 5, 2017.  [pdf] 
• Two facets of computational mathematics: numerics and symbolics
  Invited talk at the ERCOM Meeting, RICAM, Austria, April 28, 2017.  [pdf] 
• The number of realizations of Laman graphs
  Colloquium talk at the SFB F050 Seminar, University of Vienna, Austria, March 17, 2017.  [pdf] 
• Symbolic determinants support numerical methods
  Invited colloquium talk at the PolSys Seminar, LIP6, UPMC, Paris, France, November 8, 2016.  [pdf] 
• Inverse inequality estimates with symbolic computation
  Invited colloquium talk at the DK Status Seminar, Strobl, Austria, September 30, 2016.  [pdf] 
• Reduction-based creative telescoping for algebraic functions
  Invited talk at the Workshop on Algebraic Statistics and Symbolic Computation, Research Institute for Mathematical Sciences (RIMS), Kyoto University, Japan, July 28, 2016.
• Inverse inequality estimates with symbolic computation
  Invited talk at the Waterloo Workshop on Computer Algebra, Wilfrid Laurier University, Waterloo, Canada, July 23, 2016.  [pdf] 
• Motion polynomials and planar linkages
  Software presentation at ISSAC (41st International Symposium on Symbolic and Algebraic Computation), Wilfrid Laurier University, Waterloo, Canada, July 20, 2016.  [pdf] 
• Minimally rigid graphs
  Invited talk at MICA (Milestones in Computer Algebra — Celebrating the Research of Erich Kaltofen), University of Waterloo, Canada, July 16, 2016.  [pdf] 
• Effective algebraic analysis approach to linear systems over Ore algebras
  Invited talk at ICMS (5th International Congress on Mathematical Software), Zuse Institute Berlin, Germany, July 12, 2016.  [pdf] 
• Inverse inequality estimates with symbolic computation
  Invited talk at the Workshop on Analysis and Advanced Numerical Methods for Partial Differential Equations, Strobl, Austria, July 8, 2016.  [pdf] 
• Quod erat demonstrandum — proofs by computer
  Colloquium talk at the Johannes Kepler Symposium, Johannes Kepler University, Linz, Austria, June 29, 2016.  [pdf] 
• Symbolic determinant evaluation
  Invited talk at the Workshop on Algebra, Geometry and Proofs in Symbolic Computation, Fields Institute, Toronto, Canada, December 15, 2015.  [pdf] 
• Symbolic-Numeric collaborations
  Colloquium talk at the DK Status Seminar, Strobl, Austria, October 2, 2015.  [pdf] 
• Planar linkages following a prescribed motion
  Invited talk at the Workshop on Approximation Theory, CAGD, Numerical Analysis, and Symbolic Computation, Linz, Austria, August 25, 2015.  [pdf] 
• Pushing forward the dimension of fcc lattices
  Invited talk at the Sixth International Workshop on Differential Algebra and Related Topics (DART-VI, embedded conference of ICIAM), China National Convention Center, Beijing, China, August 10, 2015.  [pdf] 
• Computer-algebra-based MIMO performance analysis
  Invited talk at the SIAM Conference on Applied Algebraic Geometry, National Institute for Mathematical Sciences (NIMS), Daejeon, South Korea, August 7, 2015.  [pdf] 
• Pushing forward the dimension of fcc lattices
  Invited talk at SIAM-OPSFA (13th International Symposium on Orthogonal Polynomials, Special Functions & Applications), National Institute of Standards and Technology (NIST), Gaithersburg, USA, June 2, 2015.  [pdf] 
• Multivariate D-finite and holonomic functions
  Invited talk at the Workshop on Approximation and Combinatorics, Centre international de rencontres mathématiques (CIRM), Luminy, France, April 23, 2015.
• Planar linkages following a prescribed motion
  Invited talk at the Computer Algebra Seminar, Kobe University, Japan, March 8, 2015.  [pdf] 
• Software demo: the HolonomicFunctions package
  Invited talk at the Workshop on computational and algebraic methods in statistics, University of Tokyo, Japan, March 3, 2015.  [pdf] 
• q-shift operators in knot theory
  Invited talk at the Symbolic Analysis Workshop at FoCM (Foundations of Computational Mathematics), Universidad de la República, Montevideo, Uruguay, December 16, 2014.  [pdf] 
• Creative telescoping
  Invited talk at the Workshop on geometric control and related fields, RICAM, Linz, Austria, November 17, 2014.  [pdf] 
• Symbolic computation in knot theory
  Invited talk at the Workshop on Approximation Theory, CAGD, Numerical Analysis, and Symbolic Computation, Sozopol, Bulgaria, August 27, 2014.  [pdf] 
• A generalized Apagodu-Zeilberger algorithm
  Invited colloquium talk at the Combinatorics Seminar, Center for Combinatorics, Nankai University, China, July 30, 2014.  [pdf] 
• The AJ conjecture and factorization of q-shift operators
  Invited colloquium talk at the Lectures on Systems Science, KLMM, AMSS, Chinese Academy of Sciences, Beijing, China, July 29, 2014.  [pdf] 
• A generalized Apagodu-Zeilberger algorithm
  Contributed talk at ISSAC (39th International Symposium on Symbolic and Algebraic Computation), Kobe University, Japan, July 23, 2014.  [pdf] 
• The combinatorics of motion polynomials
  Invited colloquium talk at the Combinatorics Seminar, Nagoya University, Japan, July 22, 2014.  [pdf] 
• On the AJ conjecture of connected sums of knots
  Invited talk at the Programme on Combinatorics, Geometry, and Physics, Erwin Schrödinger Institut (ESI), Vienna, Austria, July 17, 2014.  [pdf] 
• A rational perspective on holonomic functions
  Invited talk at CASTA (Computational Algebraic Statistics, Theories and Applications), Kyoto, Japan, January 22, 2014.  [pdf] 
• What is a holonomic function?
  Invited colloquium talk at the SFB F050 Status Seminar, Strobl, Austria, December 16, 2013.  [pdf] 
• A glimpse of noncommutative Gröbner bases
  Invited talk at the conference Gröbner Bases, Resultants and Linear Algebra, RISC, Johannes Kepler University Linz, Austria, September 6, 2013.
• Holonomic functions in Mathematica
  Software presentation at ISSAC (38th International Symposium on Symbolic and Algebraic Computation), Northeastern University, Boston, Massachusetts, USA, June 27, 2013.  [pdf] 
• Holonomicity and properness are equivalent
  Contributed talk at LARD (Linz Algebra Research Day), Johannes Kepler University Linz, Austria, June 19, 2013.
• Computer algebra for knot theory
  Colloquium talk at the Combinatorics Seminar, RISC, Johannes Kepler University Linz, Austria, April 24, 2013.  [pdf] 
• Random walks in multidimensional lattices
  Colloquium talk at the Wien-Linz Workshop, February 28, 2013.  [pdf] 
• Selected applications of symbolic summation and integration
  Colloquium talk at the Radon Seminar, November 5, 2012.  [pdf] 
• Zeilberger's holonomic ansatz for Pfaffians
  Contributed talk at ISSAC (37th International Symposium on Symbolic and Algebraic Computation), University of Grenoble, France, July 24, 2012.  [pdf] 
• Twisting q-holonomic sequences by complex roots of unity
  Contributed talk at ISSAC (37th International Symposium on Symbolic and Algebraic Computation), University of Grenoble, France, July 23, 2012.  [pdf] 
• Twisting q-holonomic sequences by complex roots of unity
  Invited talk at ACA (18th International Conference on Applications of Computer Algebra), Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences, Sofia, Bulgaria, June 28, 2012.  [pdf] 
• The face-centered cubic lattice
  Invited talk at FELIM (Functional Equations in LIMoges), Faculty of Sciences and Techniques of the University of Limoges, France, March 5, 2012.  [pdf] 
• Advanced computer algebra for evaluating determinants
  Contributed talk at JNCF (Journées Nationales de Calcul Formel), CIRM Luminy (Marseille), France, November 16, 2011.  [pdf] 
• Lattice Green's functions of the higher-dimensional face-centered cubic lattices
  Invited colloquium talk at INRIA Paris-Rocquencourt, France, November 7, 2011.  [pdf] 
• Lattice Green's functions of the higher-dimensional face-centered cubic lattices
  Invited talk at the Conference on Applied Algebraic Geometry (Minisymposium "Symbolic Combinatorics"), North Carolina State University, Raleigh, North Carolina, USA, organized by SIAM (Society for Industrial and Applied Mathematics), October 6, 2011.  [pdf] 
• Lattice Green's functions of the higher-dimensional face-centered cubic lattices
  Invited talk at CSASC (Joint Mathematical Conference of the Austrian Mathematical Society together with the Catalan, Czech, Slovak, and Slovenian Mathematical Societies, Minisymposium "Combinatorics and Graph Theory"), Donau-Universität Krems, Austria, organized by Österreichische Mathematische Gesellschaft (ÖMG), September 27, 2011.  [pdf] 
• Lattice Green's functions
  Invited talk at ACA (17th International Conference on Applications of Computer Algebra), Lamar University, Houston, Texas, USA, June 28, 2011.  [pdf] 
• Software for special functions
  Invited talk at ICASF (International Conference on Asymptotics and Special Functions), City University of Hong Kong, China, June 1, 2011.  [pdf] 
• A fast approach to creative telescoping
  Invited colloquium talk at INRIA Paris-Rocquencourt, France, May 16, 2011.  [pdf] 
• Computer algebra tools for summation and integration
  Invited talk at CMIC (Chiang Mai International Conference), Chiang Mai University, Thailand, January 6, 2011.  [pdf] 
• Algorithmic combinatorics: symbolic summation and integration
  Tutorial at CMIC (Chiang Mai International Conference), Chiang Mai University, Thailand, January 4–5, 2011.
• Proof of the q-TSPP Conjecture
  Contributed talk at SLC 65 (Séminaire Lotharingien de Combinatoire), Strobl, Austria, September 13, 2010.  [pdf] 
• The beneficial use of homomorphic images in computer algebra
  Invited colloquium talk at Georgia Institute of Technology, Atlanta, USA, June 18, 2010.  [pdf] 
• Proof of George Andrews' and David Robbins' q-TSPP Conjecture
  Contributed talk at the Conference in Honor of Doron Zeilberger's 60th Birthday, Rutgers University, New Jersey, USA, May 27, 2010.  [pdf] 
• Proof of George Andrews' and David Robbins' q-TSPP Conjecture
  Invited colloquium talk at the Rutgers Experimental Mathematics Seminar, Rutgers University, New Jersey, USA, April 29, 2010.  [pdf] 
• Proof of the q-TSPP Conjecture
  Invited colloquium talk at the Tulane Mathematics Colloquium, Tulane University, New Orleans, USA., March 4, 2010.  [pdf] 
• Advanced applications of the holonomic systems approach
  Invited colloquium talk at the Rutgers Experimental Mathematics Seminar, Rutgers University, New Jersey, USA, December 3, 2009.  [pdf] 
• The holonomic systems approach
  Invited colloquium talk at the Graduate Students Seminar, Tulane University, New Orleans, USA, November 3, 2009.  [pdf] 
• HolonomicFunctions
  Software presentation at FPSAC (21st International Conference on Formal Power Series and Algebraic Combinatorics), RISC, Johannes Kepler University Linz, Austria, July 22, 2009.
• Think Big (or how to tackle hard problems with the holonomic systems approach)
  Invited talk at the Summation Workshop, RISC, Johannes Kepler University Linz, Austria, July 19, 2009.
• Algorithmic proving of special function identities in Mathematica
  Invited talk at ACA (15th International Conference on Applications of Computer Algebra), École de technologie supérieure, Montréal, Canada, June 26, 2009.  [pdf] 
• A difference operators attack on hard combinatorial problems
  Invited talk at ACA (15th International Conference on Applications of Computer Algebra), École de technologie supérieure, Montréal, Canada, June 25, 2009.  [pdf] 
• ∂-finite functions revisited
  Invited colloquium talk at INRIA Paris-Rocquencourt, France, April 20, 2009.  [pdf] 
• Two applications of automated holonomic function manipulation: simulation of electromagnetic waves and counting lattice paths
  Invited colloquium talk at the Arbeitsgemeinschaft Diskrete Mathematik, Universität Wien, Austria, January 27, 2009.  [pdf] 
• How to prove the q-TSPP Conjecture?
  Invited talk at the AMS Joint Mathematics Meeting, Washington DC, USA, January 5, 2009.
• Holonomic function identities
  Invited colloquium talk at University of Ljubljana, November 18, 2008.  [pdf] 
• Proof of Ira Gessel's lattice path conjecture
  Contributed talk at SLC 61 (Séminaire Lotharingien de Combinatoire), Curia, Portugal, September 24, 2008.  [pdf] 
• Holonomic function identities
  Invited talk at ACA (14th International Conference on Applications of Computer Algebra), RISC, Johannes Kepler University Linz, Austria, July 27, 2008.  [pdf] 
• Proof of Ira Gessel's lattice path conjecture
  Invited talk at SNSC (4th International Conference on Symbolic and Numerical Scientific Computing), RISC, Johannes Kepler University Linz, Austria, July 25, 2008.  [pdf] 
• Computer algebra methods for holonomic and ∂-finite functions
  Invited colloquium talk at Tulane University, New Orleans, USA, May 28, 2008.  [pdf] 
• Computer algebra methods for holonomic functions
  Invited colloquium talk at RWTH Aachen, Germany, February 7, 2008.  [pdf] 
• qGeneratingfunctionology
  Colloquium talk at the Combinatorics Seminar, RISC, Johannes Kepler University Linz, Austria, November 14, 2007.  [pdf] 
• A division view on P-finite recurrences
  Colloquium talk at the SFB F013 Status Seminar, Strobl, Austria, April 12, 2007.