Skip to Main content Skip to Navigation


hal-00780067v1  Conference papers
Alin BostanShaoshi ChenFrédéric ChyzakZiming LiGuoce 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-02902709v1  Journal articles
Alin BostanFrédéric ChyzakAntonio Jiménez-PastorPierre Lairez. The Sage Package comb_walks for Walks in the Quarter Plane
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
...
inria-00273148v1  Conference papers
Alin BostanFrédéric ChyzakNicolas 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-00068922v1  Conference papers
Alin BostanFrédéric ChyzakThomas CluzeauBruno 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-00376526v1  Conference papers
Frédéric ChyzakManuel KauersBruno 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
...
tel-00991717v1  Theses
Frédéric Chyzak. Fonctions holonomes en calcul formel
Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français
...
inria-00623044v2  Conference papers
Frédéric ChyzakJames DavenportChristoph KoutschanBruno 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-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno 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
...
hal-00783048v1  Conference papers
A BenoitFrédéric ChyzakAlexis DarrasseStefan GerholdMarc 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
...
inria-00072581v1  Reports
Frédéric Chyzak. Algorithms Seminar, 1999-2000
[Research Report] RR-4056, INRIA. 2000
hal-00698610v1  Conference papers
Alin BostanFrédéric ChyzakZiming LiBruno 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-01069833v1  Journal articles
Frédéric ChyzakBruno Salvy. Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
Journal of Symbolic Computation, Elsevier, 1998, 26 (2), pp.187-227
...
hal-00780432v1  Journal articles
Alin BostanFrédéric ChyzakMark Van HoeijLucien Pech. Explicit formula for the generating series of diagonal 3D rook paths
Seminaire Lotharingien de Combinatoire, Université Louis Pasteur, 2011, 66, pp.1-27
hal-00780066v1  Conference papers
Alin BostanShaoshi ChenFrédéric ChyzakZiming 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-00780010v2  Conference papers
Alin BostanFré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-01418653v2  Journal articles
Frédéric ChyzakThomas DreyfusPhilippe DumasMarc Mezzarobba. Computing solutions of linear Mahler equations
Mathematics of Computation, American Mathematical Society, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩
...
hal-01885598v1  Journal articles
Jason BellFrédéric ChyzakMichael CoonsPhilippe Dumas. Becker's conjecture on Mahler functions
Transactions of the American Mathematical Society, American Mathematical Society, In press, 372, pp.3405--3423. ⟨10.1090/tran/7762⟩
...
inria-00072182v1  Reports
Frédéric Chyzak. Algorithms Seminar, 2000-2001
[Research Report] RR-4406, INRIA. 2002
...
hal-01069235v1  Journal articles
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