Frédéric Chyzak's Talks
Here is a selection of talks, invited talks, software demos, and lectures I've given.

Firstorder factors of linear Mahler operators (2023).
Talk at the workshop
Fundamental Algorithms and Algorithmic Complexity,
part of Recent Trends in Computer Algebra 2023 (Paris, France).
Preliminary version presented as a seminar talk at
KLMM, AMSS, Chinese Academy of Sciences (Beijing, China).
[ pdf ]

A Gröbnerbasis theory for divideandconquer recurrences (2020).
Talk at the conference
ISSAC'20 (Kalamata, Greece).
[ pdf 
movie ]

Becker's conjecture on Mahler functions (2019).
Talk at the conference
Differential Galois Theory in Strasbourg (Strasbourg).
Also presented at the conference
Équations Fonctionnelles et Interactions
(Anglet),
and during a Seminar on Symbolic Computation at the
Academy of Mathematics and Systems Science, Chinese Academy of Sciences
(Beijing, China).
[ pdf ]

Generalized Hermite reduction, creative telescoping, and definite integration of Dfinite functions (2020).
Talk at the
10th international workshop on Differential Algebra and Related Topics
(New York, USA).
Also presented as a talk
Algorithmic Combinatorics Seminar (Research Institute for Symbolic Computation, Linz).
Earlier versions were presented at the
6th Summer School in Symbolic Computation
(Chongqing, China)
and at the
RAIM 2018 (10èmes Rencontres Arithmétiques du GDR Informatique Mathématique)
(LRI, GifsurYvette).
[ pdf ]

Tandem walks and Łukasiewicz walks: Bijections and variations (2018).
Talk at the seminar
Combinatoire énumérative et analytique (IRIF, Paris).
An earlier version was presented at the
Plateau Saclay Combinatorics Seminar
and a shorter one at
Journées Nationales 2018 du GDR Informatique Mathématique
(École polytechnique, Palaiseau).
[ pdf ]

Computing solutions of linear Mahler equations (2017).
Talk at the workshop
Computer Algebra in Combinatorics
(ESI, Universität Wien).
Similar talks were presented at the second
International Conference Computer Algebra in Moscow
(Dorodnicyn Computing Center and Plekhanov Russian University of Economics, Moscow)
and at
FELIM 2016
(Université de Limoges).
[ pdf ]

Un algorithme en ligne pour une bijection entre des classes de marches
Nord – Ouest – SudEst (2016). Talk at
Journées Combinatoires FrancoVancouvéroises
(UBC + SFU, Vancouver).
[ pdf ]

Computations of hypergeometric generating series for smallstep walks in
the quarter plane (2020). Talk at
Journées de Combinatoire de Bordeaux
(LaBRI).
Previous versions were presented
at the conference
Transient Transcendence in Transylvania
(Brașov, Romania, 2019),
at the
Séminaire Philippe Flajolet
(Institut Henri Poincaré, 2015),
at the
Workshop on Symbolic Combinatorics and Computational Differential Algebra
(Fields Institute), at
FELIM 2015
(Université de Limoges), and the meeting
Journées nationales de Calcul formel 2014
(CIRM).
[ pdf
 appendix ]

A computeralgebrabased formal proof of the irrationality
of ζ(3) (2014). Invited talk at
MAP 2014 (Mathematics, Algorithms, and Proofs),
Institut Henri Poincaré, Paris, May 26–30, 2014.
[ pdf ]

L'ABC du télescopage créatif: Algorithmes, bornes, complexités (2014).
Habilitation defense. [ pdf ]

Holonomic summation and integration (2012).
Lecture at the research school
Integration, Summation and Special Functions in Quantum Field Theory,
RISC, Linz, July 9–13, 2012.
[ pdf 
Maple session 
Maple session (pdf) ]

Using Camlp4 for presenting dynamic mathematics on the web (2011).
Talk at the conference
ICFP 2011.
[ pdf ]

Dynamic Dictionary of Mathematical Functions (DDMF) (2011).
I have given a number of software demos of DDMF,
with contents based on variants of the following slides.
[ pdf ].
The main occasions were:
the Sage Days 24 (Linz, 2010),
a workshop at CoSBi (Trento, 2010),
the second Microsoft ResearchInria Forum (IssylesMoulineaux, 2011),
the conference FoCM'11 (Budapest, 2011),
the conference OPSFA13 (Gaithersburg, 2015).

Creative telescoping for parametrised integration and summation
(2011). Lecture at the meeting
Journées nationales de Calcul formel 2011,
CIRM, Luminy, November 14–18, 2011.
[ slides (pdf) 
lecture notes (pdf) ]

Explicit formula for the generating series of diagonal 3D rook paths
(2010). Presented at the international conference
Renaissance of Combinatorics: Advances, Algorithms, Applications,
in honor of Doron Zeilberger's 60th birthday,
at Nankai University, Tianjin, China, August 1417, 2010.
[ pdf ]

Algorithmique symbolique pour les fonctions spéciales [in
French] (2010). Lecture at the workshop
Algorithmique et programmation 2010,
CIRM, Luminy, May 10, 2010.
[ html ]

A nonholonomic systems approach to special function identities (2008).
Presented at
ISSAC'09 (Seoul, Korea).
[ pdf ]

Products of ordinary differential operators by evaluation and interpolation (2008).
Presented at ISSAC'08 (Linz): [ pdf ]

Dfiniteness: Algorithms and applications [together with Alin Bostan and Bruno Salvy] (2007).
Presented at the research school
École Jeunes chercheurs en Informatique mathématique.
[ html ]

Sommation symbolique (2003). Presented at the research school
École Jeunes chercheurs en Algorithmique et Calcul formel.
[ color ps.gz ]

Calculs effectifs de fonctions symétriques différentiellement
finies (2003). Presented at the meeting
Journées nationales de Calcul formel 2003.
[ color ps.gz ]

Algorithmic proof of combinatorial identities of holonomic
type (2000). Presented at the workshop on Computational Algebraic Analysis
(MSRI): [ slides
and movie ]

Symbolic manipulation, summation, and integration of special
functions and combinatorial sequences (The holonomic approach)
(1999). Invited talk at ISSAC'99 (Vancouver): [ color ps.gz  bw ps.gz ]. Shortened
version of the next item.

Holonomic Functions in Computer Algebra, Slides for a Series of
Talks (1999). Research Report no. 9906 of
the Austrian project SFB F013,
Numerical and Symbolic Scientific Computing, Peter Paule
and Franz Winkler, Eds. Preliminary version: [ color ps.gz  bw ps.gz  color gif  bw gif ]

Gröbner bases, symbolic summation, and symbolic integration (1998).
Invited tutorial at the international conference 33 Years of Gröbner Bases.
[ pdf ]