Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities. - Frédéric Chyzak; Bruno Salvy (J. Symb. Comput., 1998)

Fonctions holonomes en calcul formel. (Holonomic functions in computer algebra). - Frédéric Chyzak (1998)

An extension of Zeilberger's fast algorithm to general holonomic functions. - Frédéric Chyzak (Discret. Math., 2000)

A Randomized Algorithm for Approximate String Matching. - Mikhail J. Atallah; Frédéric Chyzak; Philippe Dumas 001 (Algorithmica, 2001)

The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval. - Frédéric Chyzak; Peter Paule; Otmar Scherzer; Armin Schoisswohl; Burkhard Zimmermann (Exp. Math., 2001)

Effective algorithms for parametrizing linear control systems over Ore algebras. - Frédéric Chyzak; Alban Quadrat; Daniel Robertz (Appl. Algebra Eng. Commun. Comput., 2005)

Effective scalar products of D-finite symmetric functions. - Frédéric Chyzak; Marni Mishna; Bruno Salvy (J. Comb. Theory A, 2005)

Low complexity algorithms for linear recurrences. - Alin Bostan; Frédéric Chyzak; Bruno Salvy; Thomas Cluzeau (ISSAC, 2006)

Differential equations for algebraic functions. - Alin Bostan; Frédéric Chyzak; Bruno Salvy; Grégoire Lecerf; Éric Schost (ISSAC, 2007)

Fast computation of power series solutions of systems of differential equations. - Alin Bostan; Frédéric Chyzak; François Ollivier; Bruno Salvy; Éric Schost; Alexandre Sedoglavic (SODA, 2007)

Products of ordinary differential operators by evaluation and interpolation. - Alin Bostan; Frédéric Chyzak; Nicolas Le Roux (ISSAC, 2008)

The Distribution of Patterns in Random Trees. - Frédéric Chyzak; Michael Drmota; Thomas Klausner; Gerard Kok (Comb. Probab. Comput., 2008)

A non-holonomic systems approach to special function identities. - Frédéric Chyzak; Manuel Kauers; Bruno Salvy (ISSAC, 2009)

The Dynamic Dictionary of Mathematical Functions (DDMF). - Alexandre Benoît; Frédéric Chyzak; Alexis Darrasse; Stefan Gerhold; Marc Mezzarobba; Bruno Salvy (ICMS, 2010)

Complexity of creative telescoping for bivariate rational functions. - Alin Bostan; Shaoshi Chen; Frédéric Chyzak; Ziming Li 002 (ISSAC, 2010)

Rational-functions telescopers: blending creative telescoping with hermite reduction. - Alin Bostan; Shaoshi Chen; Frédéric Chyzak; Ziming Li 002 (ACM Commun. Comput. Algebra, 2010)

Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. - Frédéric Chyzak; Alexis Darrasse (ICFP, 2011)

On Kahan's Rules for Determining Branch Cuts. - Frédéric Chyzak; James H. Davenport; Christoph Koutschan; Bruno Salvy (SYNASC, 2011)

Fast computation of common left multiples of linear ordinary differential operators. - Alin Bostan; Frédéric Chyzak; Ziming Li 002; Bruno Salvy (ACM Commun. Comput. Algebra, 2011)

Explicit formula for the generating series of diagonal 3D rook paths - Alin Bostan; Frédéric Chyzak; Mark van Hoeij; Lucien Pech (CoRR, 2011)

Hermite reduction and creative telescoping for hyperexponential functions. - Alin Bostan; Shaoshi Chen; Frédéric Chyzak; Ziming Li 002; Guoce Xin (ISSAC, 2013)

Complexity estimates for two uncoupling algorithms. - Alin Bostan; Frédéric Chyzak; Elie de Panafieu (ISSAC, 2013)

The ABC of Creative Telescoping - Algorithms, Bounds, Complexity. - Frédéric Chyzak (2014)

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). - Frédéric Chyzak; Assia Mahboubi; Thomas Sibut-Pinote; Enrico Tassi (ITP, 2014)

On the existence of telescopers for mixed hypergeometric terms. - Shaoshi Chen; Frédéric Chyzak; Ruyong Feng; Guofeng Fu; Ziming Li 002 (J. Symb. Comput., 2015)

Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. - Alin Bostan; Frédéric Chyzak; Mark van Hoeij; Manuel Kauers; Lucien Pech (Eur. J. Comb., 2017)

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. - Alin Bostan; Frédéric Chyzak; Pierre Lairez; Bruno Salvy (ISSAC, 2018)

Becker's conjecture on Mahler functions. - Jason P. Bell; Frédéric Chyzak; Michael Coons; Philippe Dumas 001 (CoRR, 2018)

Computing solutions of linear Mahler equations. - Frédéric Chyzak; Thomas Dreyfus; Philippe Dumas 001; Marc Mezzarobba (Math. Comput., 2018)

A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions. - Frédéric Chyzak; Frank Nielsen (CoRR, 2019)

A Gröbner-basis theory for divide-and-conquer recurrences. - Frédéric Chyzak; Philippe Dumas 001 (ISSAC, 2020)

The Sage package comb_walks for walks in the quarter plane. - Antonio Jiménez-Pastor; Alin Bostan; Frédéric Chyzak; Pierre Lairez (ACM Commun. Comput. Algebra, 2020)

Bijections between Łukasiewicz Walks and Generalized Tandem Walks. - Frédéric Chyzak; Karen A. Yeats (Electron. J. Comb., 2020)

Algorithms for Discrete Differential Equations of Order 1. - Alin Bostan; Frédéric Chyzak; Hadrien Notarantonio; Mohab Safey El Din (ISSAC, 2022)

Symbolic-Numeric Factorization of Differential Operators. - Frédéric Chyzak; Alexandre Goyer; Marc Mezzarobba (ISSAC, 2022)

Special issue on Symbolic and Algebraic Computation: ISSAC 2021. - Frédéric Chyzak; George Labahn (J. Symb. Comput., 2023)

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach. - Frédéric Chyzak; Marni Mishna (CoRR, 2024)

First-order factors of linear Mahler operators. - Frédéric Chyzak; Thomas Dreyfus; Philippe Dumas 001; Marc Mezzarobba (J. Symb. Comput., 2025)

Faster multivariate integration in D-modules. - Hadrien Brochet; Frédéric Chyzak; Pierre Lairez (CoRR, 2025)