Frédéric Chyzak

45

Documents

Presentation

Publications

	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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles 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 Journal articles 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 Journal articles 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 Journal articles 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 Journal articles hal-01069833v1

	Symbolic-Numeric Factorization of Differential Operators Frédéric Chyzak , Alexandre Goyer , Marc Mezzarobba ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩ Conference papers hal-03580658v4
	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 Conference papers hal-03616406v2
	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⟩ Conference papers 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⟩ Conference papers 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 Conference papers 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⟩ Conference papers 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⟩ Conference papers 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 Conference papers hal-00698610v1
	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 Conference papers inria-00623044v2
	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⟩ Conference papers hal-00640584v1
	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 Conference papers hal-00780066v1
	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 Conference papers 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 Conference papers 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 Conference papers 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⟩ Conference papers 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 Schost 2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021 Conference papers 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⟩ Conference papers inria-00068922v1

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

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

	Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach Frédéric Chyzak , Marni Mishna 2024 Preprints, Working Papers, ... hal-04604501v2
	First-order factors of linear Mahler operators Frédéric Chyzak , Thomas Dreyfus , Philippe Dumas , Marc Mezzarobba 2024 Preprints, Working Papers, ... hal-04502052v2
	Refined product formulas for Tamari intervals Alin Bostan , Frédéric Chyzak , Vincent Pilaud 2023 Preprints, Working Papers, ... hal-04102398v1
	A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions Frédéric Chyzak , Frank Nielsen 2019 Preprints, Working Papers, ... hal-02420591v1

	Algorithms Seminar, 2002-2004 Frédéric Chyzak [Research Report] RR-5542, INRIA. 2005, pp.123 Reports 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 Reports inria-00071407v1
	Algorithms Seminar, 2001-2002 Frédéric Chyzak [Research Report] RR-5003, INRIA. 2003 Reports inria-00071580v1
	Algorithms Seminar, 2000-2001 Frédéric Chyzak [Research Report] RR-4406, INRIA. 2002 Reports inria-00072182v1
	Algorithms Seminar, 1999-2000 Frédéric Chyzak [Research Report] RR-4056, INRIA. 2000 Reports inria-00072581v1
	Gröbner Bases, Symbolic Summation and Symbolic Integration Frédéric Chyzak [Research Report] RR-3297, INRIA. 1997 Reports inria-00073391v1
	An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions Frédéric Chyzak [Research Report] RR-3195, INRIA. 1997 Reports 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 Reports inria-00073495v1
	Non-commutative Elimination in Ore Algebras Proves Multivariate Identities Frédéric Chyzak , Bruno Salvy [Research Report] RR-2799, INRIA. 1996 Reports inria-00073891v1
	Holonomic systems and automatic proofs of identities Frédéric Chyzak [Research Report] RR-2371, INRIA. 1994 Reports inria-00074305v1

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

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

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