Talks

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

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

SymbolicNumeric 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 (DARTVI, embedded conference of ICIAM), China National Convention Center, Beijing, China, August 10, 2015.
[pdf]

Computeralgebrabased 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 SIAMOPSFA (13th International Symposium on Orthogonal Polynomials, Special Functions & Applications), National Institute of Standards and Technology (NIST), Gaithersburg, USA, June 2, 2015.
[pdf]

Multivariate Dfinite 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]

qshift 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 ApagoduZeilberger algorithm
Invited colloquium talk at the Combinatorics Seminar, Center for Combinatorics, Nankai University, China, July 30, 2014.
[pdf]

The AJ conjecture and factorization of qshift operators
Invited colloquium talk at the Lectures on Systems Science, KLMM, AMSS, Chinese Academy of Sciences, Beijing, China, July 29, 2014.
[pdf]

A generalized ApagoduZeilberger 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 WienLinz 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 qholonomic 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 qholonomic 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 facecentered 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 higherdimensional facecentered cubic lattices
Invited colloquium talk at INRIA ParisRocquencourt, France, November 7, 2011.
[pdf]

Lattice Green's functions of the higherdimensional facecentered 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 higherdimensional facecentered 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"), DonauUniversitä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 ParisRocquencourt, 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 qTSPP 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' qTSPP 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' qTSPP Conjecture
Invited colloquium talk at the Rutgers Experimental Mathematics Seminar, Rutgers University, New Jersey, USA, April 29, 2010.
[pdf]

Proof of the qTSPP 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]

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 ParisRocquencourt, 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 qTSPP Conjecture?
Invited talk at the AMS Joint Mathematics Meeting, Washington DC, USA, January 5, 2009.

HolonomicFunctions
Software presentation at FPSAC (21st International Conference on Formal Power Series and Algebraic Combinatorics), RISC, Johannes Kepler University Linz, Austria, 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 Pfinite recurrences
Colloquium talk at the SFB F013 Status Seminar, Strobl, Austria, April 12, 2007.