Skip to Main content Skip to Navigation


...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
hal-01059677v1  Conference papers
Akram IdaniNicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
...
inria-00120991v1  Conference papers
Alexandre Sedoglavic. Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩
...
inria-00105673v1  Conference papers
Michel FliessStefan FuchshumerKurt SchlacherHebertt Sira-Ramirez. Discrete-time linear parametric identification: An algebraic approach
2èmes Journées Identification et Modélisation Expérimentale - JIME'2006, Nov 2006, Poitiers, France
...
inria-00126995v1  Conference papers
Alexandre Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time
International Symposium on Symbolic and Algebraic Computation, Jul 2001, London, Ontorio, Canada
...
hal-00129689v1  Conference papers
Guillermo MateraAlexandre Sedoglavic. The differential Hilbert function of a differential rational mapping can be computed in polynomial time
International Symposium on Symbolic and Algebraic Computation, Jul 2002, lille, France. pp.184-191
...
hal-01845238v3  Journal articles
Nicholas Coxon. Fast transforms over finite fields of characteristic two
Journal of Symbolic Computation, Elsevier, 2021, 104, pp.824-854. ⟨10.1016/j.jsc.2020.10.002⟩
...
tel-01069831v1  Habilitation à diriger des recherches
Frédéric Chyzak. The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2014
...
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-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
...
hal-02885579v1  Conference papers
Frédéric ChyzakPhilippe Dumas. A Gröbner-Basis Theory for Divide-and-Conquer Recurrences
ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
...
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-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⟩
...
tel-00991717v1  Theses
Frédéric Chyzak. Fonctions holonomes en calcul formel
Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français
...
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-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
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-01788619v1  Conference papers
Alin BostanFrédéric ChyzakPierre LairezBruno 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-02900798v2  Conference papers
Mathieu HemeryFrançois FagesSylvain Soliman. On the Complexity of Quadratization for Polynomial Differential Equations
CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany
...
hal-02900758v1  Conference papers
Elisabeth DegrandFrançois FagesSylvain Soliman. Graphical Conditions for Rate Independence in Chemical Reaction Networks
CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany