
Frédéric Chyzak
45
Documents
Présentation
Publications
Publications
|
Algorithms for discrete differential equations of order 1ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
Communication dans un congrès
hal-03616406
v2
|
|
Symbolic-Numeric Factorization of Differential OperatorsISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩
Communication dans un congrès
hal-03580658
v4
|
|
A Gröbner-Basis Theory for Divide-and-Conquer RecurrencesISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
Communication dans un congrès
hal-02885579
v1
|
|
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite FunctionsISSAC 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-01788619
v1
|
|
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)ITP - 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria
Communication dans un congrès
hal-00984057
v1
|
|
Hermite Reduction and Creative Telescoping for Hyperexponential FunctionsISSAC'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-00780067
v1
|
|
Complexity Estimates for Two Uncoupling AlgorithmsISSAC'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-00780010
v2
|
|
Fast Computation of Common Left Multiples of Linear Ordinary Differential OperatorsISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106
Communication dans un congrès
hal-00698610
v1
|
|
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 webICFP 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-00640584
v1
|
|
On Kahan's Rules for Determining Branch CutsSYNASC 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-00623044
v2
|
|
Complexity of Creative Telescoping for Bivariate Rational FunctionsISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210
Communication dans un congrès
hal-00780066
v1
|
|
The Dynamic Dictionary of Mathematical Functions (DDMF)ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41
Communication dans un congrès
hal-00783048
v1
|
|
A Non-Holonomic Systems Approach to Special Function IdentitiesISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118
Communication dans un congrès
inria-00376526
v1
|
|
Products of Ordinary Differential Operators by Evaluation and InterpolationISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria
Communication dans un congrès
inria-00273148
v1
|
|
Fast computation of power series solutions of systems of differential equations2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
Communication dans un congrès
inria-00001264
v1
|
|
Differential Equations for Algebraic FunctionsISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩
Communication dans un congrès
inria-00138206
v2
|
|
Low Complexity Algorithms for Linear RecurrencesISSAC 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-00068922
v1
|
|
The Distribution of Patterns in Random Trees2006
Autre publication scientifique
inria-00001281
v1
|
|
Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach2024
Pré-publication, Document de travail
hal-04604501
v2
|
|
Refined product formulas for Tamari intervals2023
Pré-publication, Document de travail
(preprint/prepublication)
hal-04102398
v1
|
|
A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions2019
Pré-publication, Document de travail
hal-02420591
v1
|
|
Algorithms Seminar, 2002-2004[Research Report] RR-5542, INRIA. 2005, pp.123
Rapport
(rapport de recherche)
inria-00070465
v1
|
|
Effective Algorithms for Parametrizing Linear Control Systems over Ore Algebras[Research Report] RR-5181, INRIA. 2004
Rapport
(rapport de recherche)
inria-00071407
v1
|
|
Algorithms Seminar, 2001-2002[Research Report] RR-5003, INRIA. 2003
Rapport
(rapport de recherche)
inria-00071580
v1
|
|
Algorithms Seminar, 2000-2001[Research Report] RR-4406, INRIA. 2002
Rapport
(rapport de recherche)
inria-00072182
v1
|
|
Algorithms Seminar, 1999-2000[Research Report] RR-4056, INRIA. 2000
Rapport
(rapport de recherche)
inria-00072581
v1
|
|
An Algorithm for Estimating all Matches Between Two Strings[Research Report] RR-3194, INRIA. 1997
Rapport
(rapport de recherche)
inria-00073495
v1
|
|
An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions[Research Report] RR-3195, INRIA. 1997
Rapport
(rapport de recherche)
inria-00073494
v1
|
|
Gröbner Bases, Symbolic Summation and Symbolic Integration[Research Report] RR-3297, INRIA. 1997
Rapport
(rapport de recherche)
inria-00073391
v1
|
|
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities[Research Report] RR-2799, INRIA. 1996
Rapport
(rapport de recherche)
inria-00073891
v1
|
|
Holonomic systems and automatic proofs of identities[Research Report] RR-2371, INRIA. 1994
Rapport
(rapport de recherche)
inria-00074305
v1
|
|
Fonctions holonomes en calcul formelCalcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français. ⟨NNT : ⟩
Thèse
tel-00991717
v1
|
|
The ABC of Creative Telescoping --- Algorithms, Bounds, ComplexitySymbolic Computation [cs.SC]. Ecole Polytechnique X, 2014
HDR
tel-01069831
v1
|
|
Creative Telescoping for Parametrised Integration and SummationÉcole thématique. France. 2011, pp.1-37
Cours
hal-04194004
v1
|
Chargement...
Chargement...