Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

68 résultats
Page :
triés par
Image document

Computing Canonical Representatives of Regular Differential Ideals

 François Boulier , François Lemaire
International Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩
Communication dans un congrès hal-00139177v1
Image document

Faster Evaluation of SBoxes via Common Shares

 Jean-Sébastien Coron , Aurélien Greuet , Emmanuel Prouff , Rina Zeitoun
18th International Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. pp.498 - 514, ⟨10.1007/978-3-662-53140-2_24⟩
Communication dans un congrès hal-01399578v1
Image document

Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.

 François Lemaire , Alexandre Sedoglavic , Asli Urguplu
2008
Autre publication scientifique hal-00212331v1
Image document

Contributions to Symbolic Effective Qualitative Analysis of Dynamical Systems; Application to Biochemical Reaction Networks

 Aslı Grimaud
Modeling and Simulation. Université de Lille 1, 2010. English. ⟨NNT : ⟩
Thèse tel-00458959v1

Real Root Isolation of Regular Chains

 François Boulier , Changbo Chen , François Lemaire , Marc Moreno Maza
Asian Symposium on Computer Mathematics, 2009, France. pp.15-29
Communication dans un congrès hal-00825036v1

A Differential Algebra Package in Sage

 François Boulier , Nicolas M. Thiéry
AADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria
Communication dans un congrès hal-00825118v1
Image document

Computing representations for radicals of finitely generated differential ideals

 François Boulier , Daniel Lazard , François Ollivier , Michel Petitot
Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩
Article dans une revue hal-00820902v1

{An orderly linear PDE system with analytic initial conditions with a non analytic solution}

 François Lemaire
Journal of Symbolic Computation, 2003, 35 (5), pp.487-498
Article dans une revue hal-00545215v1

Formal Laurent series in several variables

 Ainhoa Aparicio-Monforte , Manuel Kauers
Expositiones Mathematicae, 2013
Article dans une revue hal-00825858v1

Counting Rooted and Unrooted Triangular Maps

 Michel Petitot , Samuel Vidal,
Journal of Nonlinear Systems and Applications, 2009, 1 (1-2), pp.151-154
Article dans une revue hal-00824982v1

On the integration of differential fractions

 François Boulier , François Lemaire , Georg Regensburger , Markus Rosenkranz
ISSAC'13, 2013, Boston, United States. pp.1-8
Communication dans un congrès hal-00825855v1
Image document

Model Reduction of Chemical Reaction Systems using Elimination

 François Boulier , Marc Lefranc , François Lemaire , Pierre-Emmanuel Morant
2007
Pré-publication, Document de travail hal-00184558v1
Image document

Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries

 Alexandre Sedoglavic
Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩
Communication dans un congrès inria-00120991v1
Image document

Fast computation of power series solutions of systems of differential equations

 Alin Bostan , Frédéric Chyzak , François Ollivier , Bruno Salvy , Éric Schost , et al.
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
Communication dans un congrès inria-00001264v1
Image document

Modular Composition Modulo Triangular Sets and Applications

 Adrien Poteaux , Éric Schost
Computational Complexity, 2013, pp.1-54. ⟨10.1007/s00037-013-0063-y⟩
Article dans une revue hal-00825843v1

On applications of differential elimination to modeling problems in biology

 François Boulier
International Conference in the Honor of Wu Wen-Tsun 90th birthday, 2009, China
Communication dans un congrès hal-00825859v1
Image document

Chemical Reaction Systems, Computer Algebra and Systems Biology

 François Boulier , François Lemaire , Michel Petitot , Alexandre Sedoglavic
Computer Algebra and Scientific Computing, Sep 2011, Kassel, Germany
Communication dans un congrès hal-00603290v1

MABSys: Modeling and Analysis of Biological Systems

 François Lemaire , Aslı Grimaud
Algebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72
Communication dans un congrès hal-00825029v1
Image document

Estimation des dérivées d'un signal multidimensionnel avec applications aux images et aux vidéos

 Michel Fliess , Cédric Join , Mamadou Mboup , Alexandre Sedoglavic
XXème Colloque francophone de traitement du signal et des images, GRETSI, Sep 2005, Louvain-la-Neuve, Belgique. pp.136-139
Communication dans un congrès inria-00001116v1
Image document

Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set

 Aurélien Greuet , Mohab Safey El Din
SIAM Journal on Optimization, 2014, 24 (3), pp.1313-1343. ⟨10.1137/130931308⟩
Article dans une revue hal-00849523v2
Image document

Approximate Implicitization of Space Curves

 M. Aigner , B. Jüttler , Adrien Poteaux
U. Langer and R. Corless and H. Hong and T. Ida and M. Kreuzer and B. Salvy and D. Wang and P. Paule. Numerical and Symbolic Scientific Computing, Springer Vienna, pp.1-19, 2012, ⟨10.1007/978-3-7091-0794-2_1⟩
Chapitre d'ouvrage hal-00825853v1

Elie Cartan's geometrical vision or how to avoid expression swell

 Michel Petitot , Raouf Dridi , Sylvain Neut,
Journal of Symbolic Computation, 2009, 44 (3), pp.261-270
Article dans une revue hal-00824988v1
Image document

New classification techniques for ordinary differential equations

 Raouf Dridi , Michel Petitot
Journal of Symbolic Computation, 2009, 44 (7), pp.836 - 851. ⟨10.1016/j.jsc.2008.04.010⟩
Article dans une revue inria-00450410v1
Image document

On anisotropic polynomial relations for the elasticity tensor

 Nicolas Auffray , Boris Kolev , Michel Petitot
Journal of Elasticity, 2014, 115 (1), pp.77-103. ⟨10.1007/s10659-013-9448-z⟩
Article dans une revue hal-00827948v1
Image document

Differential algebra and system modeling in cellular biology

 François Boulier , François Lemaire
AB 2008, 2008, Hagenberg, Austria. pp.22-39
Communication dans un congrès hal-00274689v1
Image document

Contribution à l'algorithmique en algèbre différentielle

 François Lemaire
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002. Français. ⟨NNT : ⟩
Thèse tel-00001363v1
Image document

Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits

 François Boulier , Marc Lefranc , François Lemaire , Pierre-Emmanuel Morant
AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩
Communication dans un congrès hal-00213327v2
Image document

Representation for the radical of a finitely generated differential ideal

 François Boulier , Daniel Lazard , François Ollivier , Michel Petitot
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩
Communication dans un congrès hal-00138020v2

When does (T) equal sat(T)?

 François Lemaire , Marc Moreno Maza , Yuzhen Xie , Wei Pan
Journal of Symbolic Computation, 2010, 46 (12), pp.1291-1305
Article dans une revue hal-00825030v1
Image document

PARDI !

 François Boulier , François Lemaire , Marc Moreno Maza
international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩
Communication dans un congrès hal-00139354v1
Page :