Frédéric Chyzak

48
Documents

Présentation

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Diagonals of Permutahedra and Associahedra

Alin Bostan , Frédéric Chyzak , Bérénice Delcroix-Oger , Guillaume Laplante-Anfossi , Vincent Pilaud et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit , Frédéric Chyzak , Alexis Darrasse , Stefan Gerhold , Marc Mezzarobba et al.

ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41

Communication dans un congrès hal-00783048v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Fast computation of power series solutions of systems of differential equations

Alin Bostan , Frédéric Chyzak , François Ollivier , Bruno Salvy , Éric Schost et 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
Deposit thumbnail

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
Deposit thumbnail

Algorithms Seminar, 2002-2004

Frédéric Chyzak

[Research Report] RR-5542, INRIA. 2005, pp.123

Rapport (rapport de recherche) inria-00070465v1
Deposit thumbnail

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
Deposit thumbnail

Algorithms Seminar, 2001-2002

Frédéric Chyzak

[Research Report] RR-5003, INRIA. 2003

Rapport (rapport de recherche) inria-00071580v1
Deposit thumbnail

Algorithms Seminar, 2000-2001

Frédéric Chyzak

[Research Report] RR-4406, INRIA. 2002

Rapport (rapport de recherche) inria-00072182v1
Deposit thumbnail

Algorithms Seminar, 1999-2000

Frédéric Chyzak

[Research Report] RR-4056, INRIA. 2000

Rapport (rapport de recherche) inria-00072581v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Gröbner Bases, Symbolic Summation and Symbolic Integration

Frédéric Chyzak

[Research Report] RR-3297, INRIA. 1997

Rapport (rapport de recherche) inria-00073391v1
Deposit thumbnail

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
Deposit thumbnail

Holonomic systems and automatic proofs of identities

Frédéric Chyzak

[Research Report] RR-2371, INRIA. 1994

Rapport (rapport de recherche) inria-00074305v1
Deposit thumbnail

Fonctions holonomes en calcul formel

Frédéric Chyzak

Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français. ⟨NNT : ⟩

Thèse tel-00991717v1