Frédéric Chyzak

Présentation

Publications

Article dans une revue (10)

First-order factors of linear Mahler operators Frédéric Chyzak,Thomas Dreyfus,Philippe Dumas,Marc Mezzarobba Journal of Symbolic Computation, 2025, ⟨10.1016/j.jsc.2025.102424⟩ Article dans une revue hal-04502052v3
Bijections between Łukasiewicz walks and generalized tandem walks Frédéric Chyzak,Karen Yeats The Electronic Journal of Combinatorics, 2020, 27 (2), ⟨10.37236/8261⟩ Article dans une revue hal-01891792v2
The Sage Package comb_walks for Walks in the Quarter Plane Alin Bostan,Frédéric Chyzak,Antonio Jiménez-Pastor,Pierre Lairez ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩ Article dans une revue hal-02902709v1
Becker's conjecture on Mahler functions Jason P. Bell,Frédéric Chyzak,Michael Coons,Philippe Dumas Transactions of the American Mathematical Society, 2019, 372, pp.3405--3423. ⟨10.1090/tran/7762⟩ Article dans une revue hal-01885598v1
Computing solutions of linear Mahler equations Frédéric Chyzak,Thomas Dreyfus,Philippe Dumas,Marc Mezzarobba Mathematics of Computation, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩ Article dans une revue hal-01418653v2
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 European Journal of Combinatorics, 2017, 61, pp.242-275. ⟨10.1016/j.ejc.2016.10.010⟩ Article dans une revue hal-01332175v2
On the existence of telescopers for mixed hypergeometric terms Shaoshi Chen,Frédéric Chyzak,Ruyong Feng,Guofeng Fu,Ziming Li Journal of Symbolic Computation, 2014 Article dans une revue hal-00991211v1
Explicit formula for the generating series of diagonal 3D rook paths Alin Bostan,Frédéric Chyzak,Mark Van Hoeij,Lucien Pech Seminaire Lotharingien de Combinatoire, 2011, 66, pp.1-27 Article dans une revue hal-00780432v1
An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions Frédéric Chyzak Discrete Mathematics, 2000, Formal power series and algebraic combinatorics (Vienna, 1997), 217 (1-3), pp.115-134 Article dans une revue hal-01069235v1
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities Frédéric Chyzak,Bruno Salvy Journal of Symbolic Computation, 1998, 26 (2), pp.187-227 Article dans une revue hal-01069833v1

Communication dans un congrès (18)

Diagonals of Permutahedra and Associahedra Alin Bostan,Frédéric Chyzak,Bérénice Delcroix-Oger,Guillaume Laplante-Anfossi,Vincent Pilaudet al. FPSAC 2025 - 37th International Conference on "Formal Power Series and Algebraic Combinatorics, Jul 2025, Sapporo, Japan. pp.12, Art. 136 Communication dans un congrès hal-05468595v1
Algorithms for discrete differential equations of order 1 Alin Bostan,Frédéric Chyzak,Hadrien Notarantonio,Mohab Safey El Din ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110 Communication dans un congrès hal-03616406v2
Symbolic-Numeric Factorization of Differential Operators Frédéric Chyzak,Alexandre Goyer,Marc Mezzarobba ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩ Communication dans un congrès hal-03580658v4
A Gröbner-Basis Theory for Divide-and-Conquer Recurrences Frédéric Chyzak,Philippe Dumas ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩ Communication dans un congrès hal-02885579v1
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions Alin Bostan,Frédéric Chyzak,Pierre Lairez,Bruno Salvy ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩ Communication dans un congrès hal-01788619v1
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) Frédéric Chyzak,Assia Mahboubi,Thomas Sibut-Pinote,Enrico Tassi ITP - 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria Communication dans un congrès hal-00984057v1
Hermite Reduction and Creative Telescoping for Hyperexponential Functions Alin Bostan,Shaoshi Chen,Frédéric Chyzak,Ziming Li,Guoce Xin ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.77-84, ⟨10.1145/2465506.2465946⟩ Communication dans un congrès hal-00780067v1
Complexity Estimates for Two Uncoupling Algorithms Alin Bostan,Frédéric Chyzak,Élie de Panafieu ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.85-92, ⟨10.1145/2465506.2465941⟩ Communication dans un congrès hal-00780010v2
Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators Alin Bostan,Frédéric Chyzak,Ziming Li,Bruno Salvy ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106 Communication dans un congrès hal-00698610v1
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 - 16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. pp.259-265, ⟨10.1145/2034773.2034809⟩ Communication dans un congrès hal-00640584v1
On Kahan's Rules for Determining Branch Cuts Frédéric Chyzak,James Davenport,Christoph Koutschan,Bruno Salvy SYNASC 2011. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing., Sep 2011, Timisoara, Romania. pp.47-51 Communication dans un congrès inria-00623044v2
Complexity of Creative Telescoping for Bivariate Rational Functions Alin Bostan,Shaoshi Chen,Frédéric Chyzak,Ziming Li ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210 Communication dans un congrès hal-00780066v1
The Dynamic Dictionary of Mathematical Functions (DDMF) Alexandre Benoit,Frédéric Chyzak,Alexis Darrasse,Stefan Gerhold,Marc Mezzarobbaet al. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41 Communication dans un congrès hal-00783048v1
A Non-Holonomic Systems Approach to Special Function Identities Frédéric Chyzak,Manuel Kauers,Bruno Salvy ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118 Communication dans un congrès inria-00376526v1
Products of Ordinary Differential Operators by Evaluation and Interpolation Alin Bostan,Frédéric Chyzak,Nicolas Le Roux ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria Communication dans un congrès inria-00273148v1
Differential Equations for Algebraic Functions Alin Bostan,Frédéric Chyzak,Bruno Salvy,Grégoire Lecerf,Éric Schost ISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩ Communication dans un congrès inria-00138206v2
Fast computation of power series solutions of systems of differential equations Alin Bostan,Frédéric Chyzak,François Ollivier,Bruno Salvy,Éric Schostet al. 2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021 Communication dans un congrès inria-00001264v1
Low Complexity Algorithms for Linear Recurrences Alin Bostan,Frédéric Chyzak,Thomas Cluzeau,Bruno Salvy ISSAC International Symposium on Symbolic and Algebraic Computations, Jul 2006, Genova, Italy, Italy. pp.31-38, ⟨10.1145/1145768.1145781⟩ Communication dans un congrès inria-00068922v1

Ouvrages (1)

Algorithmes Efficaces en Calcul Formel Alin Bostan,Frédéric Chyzak,Marc Giusti,Romain Lebreton,Grégoire Lecerfet al. published by the Authors, 2017 Ouvrages hal-01431717v1

Autre publication scientifique (1)

The Distribution of Patterns in Random Trees Frédéric Chyzak,Michael Drmota,Thomas Klausner,Gerard Kok 2006 Autre publication scientifique inria-00001281v1

Pré-publication, Document de travail (5)

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach Frédéric Chyzak,Marni Mishna 2025 Pré-publication, Document de travail hal-04604501v3
Faster multivariate integration in D-modules Hadrien Brochet,Frédéric Chyzak,Pierre Lairez 2025 Pré-publication, Document de travail hal-05289785v1
Single-exponential bounds for diagonals of D-finite power series Shaoshi Chen,Frédéric Chyzak,Pingchuan Ma,Chaochao Zhu 2026 Pré-publication, Document de travail (preprint/prepublication) hal-05132552v2
Refined product formulas for Tamari intervals Alin Bostan,Frédéric Chyzak,Vincent Pilaud 2023 Pré-publication, Document de travail (preprint/prepublication) hal-04102398v1
A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions Frédéric Chyzak,Frank Nielsen 2019 Pré-publication, Document de travail hal-02420591v1

Rapport (10)

Algorithms Seminar, 2002-2004 Frédéric Chyzak [Research Report] RR-5542, INRIA. 2005, pp.123 Rapport (rapport de recherche) inria-00070465v1
Effective Algorithms for Parametrizing Linear Control Systems over Ore Algebras Frédéric Chyzak,Alban Quadrat,Daniel Robertz [Research Report] RR-5181, INRIA. 2004 Rapport (rapport de recherche) inria-00071407v1
Algorithms Seminar, 2001-2002 Frédéric Chyzak [Research Report] RR-5003, INRIA. 2003 Rapport (rapport de recherche) inria-00071580v1
Algorithms Seminar, 2000-2001 Frédéric Chyzak [Research Report] RR-4406, INRIA. 2002 Rapport (rapport de recherche) inria-00072182v1
Algorithms Seminar, 1999-2000 Frédéric Chyzak [Research Report] RR-4056, INRIA. 2000 Rapport (rapport de recherche) inria-00072581v1
An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions Frédéric Chyzak [Research Report] RR-3195, INRIA. 1997 Rapport (rapport de recherche) inria-00073494v1
An Algorithm for Estimating all Matches Between Two Strings Mikhail J. Atallah,Frédéric Chyzak,Philippe Dumas [Research Report] RR-3194, INRIA. 1997 Rapport (rapport de recherche) inria-00073495v1
Gröbner Bases, Symbolic Summation and Symbolic Integration Frédéric Chyzak [Research Report] RR-3297, INRIA. 1997 Rapport (rapport de recherche) inria-00073391v1
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities Frédéric Chyzak,Bruno Salvy [Research Report] RR-2799, INRIA. 1996 Rapport (rapport de recherche) inria-00073891v1
Holonomic systems and automatic proofs of identities Frédéric Chyzak [Research Report] RR-2371, INRIA. 1994 Rapport (rapport de recherche) inria-00074305v1

Thèse (1)

Fonctions holonomes en calcul formel Frédéric Chyzak Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français. ⟨NNT : ⟩ Thèse tel-00991717v1

HDR (1)

The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity Frédéric Chyzak Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2014 HDR tel-01069831v1

Cours (1)

Creative Telescoping for Parametrised Integration and Summation Frédéric Chyzak École thématique. France. 2011, pp.1-37 Cours hal-04194004v1