Accéder directement au contenu

Frédéric Chyzak

44
Documents

Présentation

Old and other publications not submitted to HAL are available on my [webpage.](https://specfun.inria.fr/chyzak/ "webpage")

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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

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
Image document

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
Image document

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
Image document

The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit , Frédéric Chyzak , Alexis Darrasse , Stefan Gerhold , Marc Mezzarobba
ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41
Communication dans un congrès hal-00783048v1
Image document

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
Image document

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
Image document

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
Image document

Fast computation of power series solutions of systems of differential equations

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

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
Image document

Fonctions holonomes en calcul formel

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