Skip to Main content Skip to Navigation
  1. Search


...
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 Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
...
hal-01905580v2  Journal articles
Simon Abelard. Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
Journal of Complexity, Elsevier, In press, ⟨10.1016/j.jco.2019.101440⟩
...
hal-01345627v2  Journal articles
George Labahn, Vincent Neiger, Wei Zhou. Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix
Journal of Complexity, Elsevier, 2017, ⟨10.1016/j.jco.2017.03.003⟩
...
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 Fliess, Stefan Fuchshumer, Kurt Schlacher, Hebertt 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
...
hal-00212331v1  Other publications
François Lemaire, Alexandre Sedoglavic, Asli Urguplu. Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.
2008
...
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 Matera, Alexandre 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
...
inria-00188435v2  Journal articles
Michel Fliess, Stefan Fuchshumer, Markus Schöberl, Kurt Schlacher, Hebertt Sira-Ramirez. An introduction to algebraic discrete-time linear parametric identification with a concrete application
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2008, 42 (2-3), pp.210--232
...
inria-00001251v1  Other publications
Evelyne Hubert, Alexandre Sedoglavic. Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
2006
...
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⟩
...
hal-00991211v1  Journal articles
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-01332175v2  Journal articles
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⟩
...
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 Chyzak, Bruno 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 Chyzak, Philippe 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 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
...
hal-02902709v1  Journal articles
Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre 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-01431717v1  Books
Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf et al.  Algorithmes Efficaces en Calcul Formel
published by the Authors, 2017
...
hal-00783048v1  Conference papers
A 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
...
inria-00273148v1  Conference papers
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
hal-00698610v1  Conference papers
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-01788619v1  Conference papers
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-02900798v2  Conference papers
Mathieu Hemery, François Fages, Sylvain 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 Degrand, François Fages, Sylvain 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