Frédéric Chyzak

According to our database, Frédéric Chyzak authored at least 38 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

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, Marc Mezzarobba

CoRR, 2024

2023

Special issue on Symbolic and Algebraic Computation: ISSAC 2021.

Frédéric Chyzak, George Labahn

J. Symb. Comput., 2023

2022

Symbolic-Numeric Factorization of Differential Operators.

Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

Algorithms for Discrete Differential Equations of Order 1.

Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2020

Bijections between Łukasiewicz Walks and Generalized Tandem Walks.

Frédéric Chyzak, Karen A. Yeats

Electron. J. Comb., 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

A Gröbner-basis theory for divide-and-conquer recurrences.

Frédéric Chyzak, Philippe Dumas

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions.

Frédéric Chyzak, Frank Nielsen

CoRR, 2019

2018

Computing solutions of linear Mahler equations.

Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba

Math. Comput., 2018

Becker's conjecture on Mahler functions.

Jason P. Bell, Frédéric Chyzak, Michael Coons, Philippe Dumas

CoRR, 2018

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions.

Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

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

2015

On the existence of telescopers for mixed hypergeometric terms.

Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li

J. Symb. Comput., 2015

2014

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3).

Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

The ABC of Creative Telescoping - Algorithms, Bounds, Complexity.

Frédéric Chyzak

, 2014

2013

Complexity estimates for two uncoupling algorithms.

Alin Bostan, Frédéric Chyzak, Elie de Panafieu

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Hermite reduction and creative telescoping for hyperexponential functions.

Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

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

Fast computation of common left multiples of linear ordinary differential operators.

Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy

ACM Commun. Comput. Algebra, 2011

On Kahan's Rules for Determining Branch Cuts.

Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

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

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Rational-functions telescopers: blending creative telescoping with hermite reduction.

Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li

ACM Commun. Comput. Algebra, 2010

Complexity of creative telescoping for bivariate rational functions.

Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

The Dynamic Dictionary of Mathematical Functions (DDMF).

Alexandre Benoît, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy

Proceedings of the Mathematical Software, 2010

2009

A non-holonomic systems approach to special function identities.

Frédéric Chyzak, Manuel Kauers, Bruno Salvy

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

The Distribution of Patterns in Random Trees.

Frédéric Chyzak, Michael Drmota, Thomas Klausner, Gerard Kok

Comb. Probab. Comput., 2008

Products of ordinary differential operators by evaluation and interpolation.

Alin Bostan, Frédéric Chyzak, Nicolas Le Roux

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

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

Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2007

Differential equations for algebraic functions.

Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

2006

Low complexity algorithms for linear recurrences.

Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

Effective scalar products of D-finite symmetric functions.

Frédéric Chyzak, Marni Mishna, Bruno Salvy

J. Comb. Theory A, 2005

Effective algorithms for parametrizing linear control systems over Ore algebras.

Frédéric Chyzak, Alban Quadrat, Daniel Robertz

Appl. Algebra Eng. Commun. Comput., 2005

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

A Randomized Algorithm for Approximate String Matching.

Mikhail J. Atallah, Frédéric Chyzak, Philippe Dumas

Algorithmica, 2001

2000

An extension of Zeilberger's fast algorithm to general holonomic functions.

Frédéric Chyzak

Discret. Math., 2000

1998

Fonctions holonomes en calcul formel. (Holonomic functions in computer algebra).

Frédéric Chyzak

PhD thesis, 1998

Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities.

Frédéric Chyzak, Bruno Salvy

J. Symb. Comput., 1998