2024
- titre
- First-order factors of linear Mahler operators
- auteur
- Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
- titre
- Refined product formulas for Tamari intervals
- auteur
- Alin Bostan, Frédéric Chyzak, Vincent Pilaud
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
- titre
- Algorithms for discrete differential equations of order 1
- auteur
- Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
- article
- ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
- Accès au texte intégral et bibtex
-
- titre
- Symbolic-Numeric Factorization of Differential Operators
- auteur
- Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba
- article
- ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩
- Accès au texte intégral et bibtex
-
2020
- titre
- A Gröbner-Basis Theory for Divide-and-Conquer Recurrences
- auteur
- Frédéric Chyzak, Philippe Dumas
- article
- ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
- Accès au texte intégral et bibtex
-
- titre
- Bijections between Łukasiewicz walks and generalized tandem walks
- auteur
- Frédéric Chyzak, Karen Yeats
- article
- The Electronic Journal of Combinatorics, 2020, 27 (2), ⟨10.37236/8261⟩
- Accès au texte intégral et bibtex
-
- titre
- The Sage Package comb_walks for Walks in the Quarter Plane
- auteur
- Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez
- article
- ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
- Accès au texte intégral et bibtex
-
2019
- titre
- A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions
- auteur
- Frédéric Chyzak, Frank Nielsen
- article
- 2019
- Accès au bibtex
-
- titre
- Becker's conjecture on Mahler functions
- auteur
- Jason P. Bell, Frédéric Chyzak, Michael Coons, Philippe Dumas
- article
- Transactions of the American Mathematical Society, 2019, 372, pp.3405--3423. ⟨10.1090/tran/7762⟩
- Accès au texte intégral et bibtex
-
2018
- titre
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
- auteur
- Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
- article
- ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing solutions of linear Mahler equations
- auteur
- Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba
- article
- Mathematics of Computation, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩
- Accès au texte intégral et bibtex
-
2017
- titre
- Algorithmes Efficaces en Calcul Formel
- auteur
- Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Eric Schost
- article
- published by the Authors, 2017
- Accès au texte intégral et bibtex
-
- titre
- Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
- auteur
- Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
- article
- European Journal of Combinatorics, 2017, 61, pp.242-275. ⟨10.1016/j.ejc.2016.10.010⟩
- Accès au texte intégral et bibtex
-
2014
- titre
- The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity
- auteur
- Frédéric Chyzak
- article
- Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2014
- Accès au texte intégral et bibtex
-
- titre
- On the existence of telescopers for mixed hypergeometric terms
- auteur
- Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
- article
- Journal of Symbolic Computation, 2014
- Accès au texte intégral et bibtex
-
- titre
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- auteur
- Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi
- article
- ITP - 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria
- Accès au texte intégral et bibtex
-
2013
- titre
- Hermite Reduction and Creative Telescoping for Hyperexponential Functions
- auteur
- Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin
- article
- 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⟩
- Accès au bibtex
-
- titre
- Complexity Estimates for Two Uncoupling Algorithms
- auteur
- Alin Bostan, Frédéric Chyzak, Élie de Panafieu
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2012
- titre
- Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators
- auteur
- Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
- article
- ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106
- Accès au bibtex
-
2011
- titre
- Creative Telescoping for Parametrised Integration and Summation
- auteur
- Frédéric Chyzak
- article
- École thématique. France. 2011, pp.1-37
- Accès au texte intégral et bibtex
-
- titre
- On Kahan's Rules for Determining Branch Cuts
- auteur
- Frédéric Chyzak, James Davenport, Christoph Koutschan, Bruno Salvy
- article
- SYNASC 2011. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing., Sep 2011, Timisoara, Romania. pp.47-51
- Accès au texte intégral et bibtex
-
- titre
- 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
- auteur
- Frédéric Chyzak, Alexis Darrasse
- article
- ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. pp.259-265, ⟨10.1145/2034773.2034809⟩
- Accès au texte intégral et bibtex
-
- titre
- Explicit formula for the generating series of diagonal 3D rook paths
- auteur
- Alin Bostan, Frédéric Chyzak, Mark Van Hoeij, Lucien Pech
- article
- Seminaire Lotharingien de Combinatoire, 2011, 66, pp.1-27
- Accès au texte intégral et bibtex
-
2010
- titre
- The Dynamic Dictionary of Mathematical Functions (DDMF)
- auteur
- Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
- article
- ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41
- Accès au texte intégral et bibtex
-
- titre
- Complexity of Creative Telescoping for Bivariate Rational Functions
- auteur
- Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li
- article
- ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210
- Accès au bibtex
-
2009
- titre
- A Non-Holonomic Systems Approach to Special Function Identities
- auteur
- Frédéric Chyzak, Manuel Kauers, Bruno Salvy
- article
- ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118
- Accès au texte intégral et bibtex
-
2008
- titre
- Products of Ordinary Differential Operators by Evaluation and Interpolation
- auteur
- Alin Bostan, Frédéric Chyzak, Nicolas Le Roux
- article
- ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria
- Accès au texte intégral et bibtex
-
2007
- titre
- Differential Equations for Algebraic Functions
- auteur
- Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
- article
- ISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast computation of power series solutions of systems of differential equations
- auteur
- Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, Alexandre Sedoglavic
- article
- 2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
- Accès au texte intégral et bibtex
-
2006
- titre
- Low Complexity Algorithms for Linear Recurrences
- auteur
- Alin Bostan, Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy
- article
- ISSAC International Symposium on Symbolic and Algebraic Computations, Jul 2006, Genova, Italy, Italy. pp.31-38, ⟨10.1145/1145768.1145781⟩
- Accès au texte intégral et bibtex
-
- titre
- The Distribution of Patterns in Random Trees
- auteur
- Frédéric Chyzak, Michael Drmota, Thomas Klausner, Gerard Kok
- article
- 2006
- Accès au texte intégral et bibtex
-
2005
- titre
- Algorithms Seminar, 2002-2004
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-5542, INRIA. 2005, pp.123
- Accès au texte intégral et bibtex
-
2004
- titre
- Effective Algorithms for Parametrizing Linear Control Systems over Ore Algebras
- auteur
- Frédéric Chyzak, Alban Quadrat, Daniel Robertz
- article
- [Research Report] RR-5181, INRIA. 2004
- Accès au texte intégral et bibtex
-
2003
- titre
- Algorithms Seminar, 2001-2002
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-5003, INRIA. 2003
- Accès au texte intégral et bibtex
-
2002
- titre
- Algorithms Seminar, 2000-2001
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-4406, INRIA. 2002
- Accès au texte intégral et bibtex
-
2000
- titre
- Algorithms Seminar, 1999-2000
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-4056, INRIA. 2000
- Accès au texte intégral et bibtex
-
- titre
- An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions
- auteur
- Frédéric Chyzak
- article
- Discrete Mathematics, 2000, Formal power series and algebraic combinatorics (Vienna, 1997), 217 (1-3), pp.115-134
- Accès au texte intégral et bibtex
-
1998
- titre
- Fonctions holonomes en calcul formel
- auteur
- Frédéric Chyzak
- article
- Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
- auteur
- Frédéric Chyzak, Bruno Salvy
- article
- Journal of Symbolic Computation, 1998, 26 (2), pp.187-227
- Accès au texte intégral et bibtex
-
1997
- titre
- An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-3195, INRIA. 1997
- Accès au texte intégral et bibtex
-
- titre
- An Algorithm for Estimating all Matches Between Two Strings
- auteur
- Mikhail J. Atallah, Frédéric Chyzak, Philippe Dumas
- article
- [Research Report] RR-3194, INRIA. 1997
- Accès au texte intégral et bibtex
-
- titre
- Gröbner Bases, Symbolic Summation and Symbolic Integration
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-3297, INRIA. 1997
- Accès au texte intégral et bibtex
-
1996
- titre
- Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
- auteur
- Frédéric Chyzak, Bruno Salvy
- article
- [Research Report] RR-2799, INRIA. 1996
- Accès au texte intégral et bibtex
-
1994
- titre
- Holonomic systems and automatic proofs of identities
- auteur
- Frédéric Chyzak
- article
- [Research Report] RR-2371, INRIA. 1994
- Accès au texte intégral et bibtex
-