Number of documents

36

Frédéric Chyzak


Old and other publications not submitted to HAL are available on my webpage.


Journal articles7 documents

  • Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. Computing solutions of linear Mahler equations. Mathematics of Computation, American Mathematical Society, 2018, 87, pp.2977-3021. ⟨https://www.ams.org/journals/mcom/2018-87-314/S0025-5718-2018-03359-2/⟩. ⟨10.1090/mcom/3359⟩. ⟨hal-01418653v2⟩
  • Jason Bell, Frédéric Chyzak, Michael Coons, Philippe Dumas. Becker's conjecture on Mahler functions. Transactions of the American Mathematical Society, American Mathematical Society, In press, pp.17. ⟨hal-01885598⟩
  • Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech. Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane. European Journal of Combinatorics, Elsevier, 2017, 61, pp.242-275. ⟨10.1016/j.ejc.2016.10.010⟩. ⟨hal-01332175v2⟩
  • Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li. On the existence of telescopers for mixed hypergeometric terms. Journal of Symbolic Computation, Elsevier, 2014. ⟨hal-00991211⟩
  • Alin Bostan, Frédéric Chyzak, Mark Van Hoeij, Lucien Pech. Explicit formula for the generating series of diagonal 3D rook paths. Seminaire Lotharingien de Combinatoire, Université Louis Pasteur, 2011, 66, pp.1-27. ⟨http://www.emis.de/journals/SLC/⟩. ⟨hal-00780432⟩
  • Frédéric Chyzak. An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions. Discrete Mathematics, Elsevier, 2000, Formal power series and algebraic combinatorics (Vienna, 1997), 217 (1-3), pp.115-134. ⟨hal-01069235⟩
  • Frédéric Chyzak, Bruno Salvy. Non-commutative Elimination in Ore Algebras Proves Multivariate Identities. Journal of Symbolic Computation, Elsevier, 1998, 26 (2), pp.187-227. ⟨hal-01069833⟩

Conference papers14 documents

  • Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy. Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩. ⟨hal-01788619⟩
  • Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi. A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). ITP - 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria. ⟨hal-00984057⟩
  • Alin Bostan, Frédéric Chyzak, Élie de Panafieu. Complexity Estimates for Two Uncoupling Algorithms. 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⟩. ⟨hal-00780010v2⟩
  • Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. 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⟩. ⟨hal-00780067⟩
  • Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy. Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators. ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106. ⟨hal-00698610⟩
  • Frédéric Chyzak, James Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. SYNASC 2011. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing., Sep 2011, Timisoara, Romania. pp.47-51. ⟨inria-00623044v2⟩
  • Frédéric Chyzak, Alexis Darrasse. 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. ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. pp.259-265, ⟨10.1145/2034773.2034809⟩. ⟨hal-00640584⟩
  • Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li. Complexity of Creative Telescoping for Bivariate Rational Functions. ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210. ⟨hal-00780066⟩
  • Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41. ⟨hal-00783048⟩
  • Frédéric Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118. ⟨inria-00376526⟩
  • Alin Bostan, Frédéric Chyzak, Nicolas Le Roux. Products of Ordinary Differential Operators by Evaluation and Interpolation. ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria. ⟨inria-00273148⟩
  • Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, et al.. Fast computation of power series solutions of systems of differential equations. 2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021. ⟨inria-00001264⟩
  • Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost. Differential Equations for Algebraic Functions. ISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩. ⟨inria-00138206v2⟩
  • Alin Bostan, Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy. Low Complexity Algorithms for Linear Recurrences. ISSAC International Symposium on Symbolic and Algebraic Computations, Jul 2006, Genova, Italy, Italy. pp.31-38, ⟨10.1145/1145768.1145781⟩. ⟨inria-00068922⟩

Books1 document

Other publications1 document

  • Frédéric Chyzak, Michael Drmota, Thomas Klausner, Gerard Kok. The Distribution of Patterns in Random Trees. 2006. ⟨inria-00001281⟩

Preprints, Working Papers, ...1 document

  • Frédéric Chyzak, Karen Yeats. Bijections between Łukasiewicz walks and generalized tandem walks. 2018. ⟨hal-01891792⟩

Reports10 documents

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

Theses1 document

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

Habilitation à diriger des recherches1 document

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