
François Lemaire
60
Documents
Publications
Publications
|
On Formal Power Series Solutions of Regular Differential ChainsComputer Algebra in Scientific Computing (CASC) 26th International Workshop, Sep 2024, Rennes, France. pp.82-99, ⟨10.1007/978-3-031-69070-9_6⟩
Communication dans un congrès
hal-04547418
v3
|
|
Contribution to Integral EliminationComputer Algebra in Scientific Computing (CASC) 26th International Workshop, Sep 2024, Rennes, France. pp.215--235, ⟨10.1007/978-3-031-69070-9_13⟩
Communication dans un congrès
hal-04570612
v2
|
Parameter Estimation Using Integral EquationsMaple Conference 2023, Oct 2023, Online Conference, Canada
Communication dans un congrès
hal-04522033
v1
|
|
|
Decoupling multivariate fractionsComputer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.209--231
Communication dans un congrès
hal-03285870
v1
|
|
Symbolic-Numeric Methods for Nonlinear Integro-Differential ModelingCASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. ⟨10.1007/978-3-319-99639-4_6⟩
Communication dans un congrès
hal-01765409
v2
|
Identifiability, Integro-Differential Equations and Neurobiology. Talk AfternotesJournées Annuelles du GT BIOSS, Mar 2017, Montpellier, France
Communication dans un congrès
hal-01490268
v1
|
|
|
Computing Sparse Representations of Systems of Rational FractionsComputer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. pp.349 - 366, ⟨10.1007/978-3-319-45641-6_23⟩
Communication dans un congrès
hal-01407919
v1
|
|
Finding First Integrals Using Normal Forms Modulo Differential Regular ChainsComputer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118
Communication dans un congrès
hal-01234982
v1
|
|
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy DataComputer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43
Communication dans un congrès
hal-01114187
v1
|
|
On Defining and Computing ``Good'' Conservation LawsComputational Methods in Systems Biology, Nov 2014, Manchester, United Kingdom. pp.1 - 19, ⟨10.1007/978-3-319-12982-2_1⟩
Communication dans un congrès
hal-01407915
v1
|
On the Integration of Differential FractionsDifferential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France
Communication dans un congrès
hal-00825862
v1
|
|
On the integration of differential fractionsISSAC'13, 2013, Boston, United States. pp.1-8
Communication dans un congrès
hal-00825855
v1
|
|
Solving a Chemical Reaction System by a PDEFunctional Equations in LIMoges, 2012, Limoges, France
Communication dans un congrès
hal-00825869
v1
|
|
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166
Communication dans un congrès
hal-00824995
v1
|
|
|
Symmetry-based model reduction for approximate stochastic analysisComputational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68
Communication dans un congrès
hal-00713386
v1
|
|
Chemical Reaction Systems, Computer Algebra and Systems BiologyComputer Algebra and Scientific Computing, Sep 2011, Kassel, Germany
Communication dans un congrès
hal-00603290
v1
|
The FreeMABSys Project and the MABSys LibraryMAGIX@LIX, 2011, Palaiseau, France
Communication dans un congrès
hal-00825863
v1
|
|
Solving semi-algebraic systems with the RegularChains library in MapleMathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51
Communication dans un congrès
hal-00825013
v1
|
|
|
On the Regularity Property of Differential Polynomials Modulo Regular Differential ChainsComputer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12
Communication dans un congrès
hal-00599440
v1
|
A Method for semi-rectifying Algebraic and Differential Systems using Scaling type Lie Point Symmetries with Linear AlgebraInternational Symposium on Symbolic and algebraic computation, 2010, Munich, Germany. pp.85--92
Communication dans un congrès
hal-00825033
v1
|
|
Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and PhysicsDART IV, 2010, Beijing, China
Communication dans un congrès
hal-00825125
v1
|
|
MABSys: Modeling and Analysis of Biological SystemsAlgebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72
Communication dans un congrès
hal-00825029
v1
|
|
|
Models of stochastic gene expression and Weyl algebraAlgebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97
Communication dans un congrès
hal-00492438
v2
|
Differential Algebra and QSSA methods in biochemistryInternational Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6
Communication dans un congrès
hal-00842562
v1
|
|
Real Root Isolation of Regular ChainsAsian Symposium on Computer Mathematics, 2009, France. pp.15-29
Communication dans un congrès
hal-00825036
v1
|
|
When does (T) equal sat(T)?International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. pp.207-214
Communication dans un congrès
hal-00825039
v1
|
|
|
Differential algebra and system modeling in cellular biologyAB 2008, 2008, Hagenberg, Austria. pp.22-39
Communication dans un congrès
hal-00274689
v1
|
|
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuitsAB 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-00213327
v2
|
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuitsJournées Ouvertes Biologie Informatique Mathématiques, 2008, Lille, France. pp.77-82
Communication dans un congrès
hal-00825126
v1
|
|
|
On proving the absence of oscillations in models of genetic circuitsSecond International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩
Communication dans un congrès
hal-00139667
v1
|
|
Well known theorems on triangular systems and the D5 principleTransgressive Computing 2006, Apr 2006, France. pp.79-91
Communication dans un congrès
hal-00137158
v1
|
|
PARDI !international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩
Communication dans un congrès
hal-00139354
v1
|
|
Computing Canonical Representatives of Regular Differential IdealsInternational Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩
Communication dans un congrès
hal-00139177
v1
|
|
Parameter Estimation with Integral EliminationDifferential Algebra and Related Topics XII, Apr 2024, Kassel, Germany.
Poster de conférence
hal-04576171
v1
|
|
A Prototype for Integral EliminationInternational Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh (North Carolina), United States. , ACM Communications in Computer Algebra, 58 (3), pp.93-96, 2025, ⟨10.1145/3717582.3717592⟩
Poster de conférence
hal-04965235
v1
|
|
Integration of Integro-differential Equations and Deep LearningDifferential Algebra and Related Topics XI, Jun 2023, London, United Kingdom
Poster de conférence
hal-04254563
v1
|
|
Integral equation modelling and deep learningInternational Symposium on Symbolic and Algebraic Computation 2022, Jul 2022, Lille, France. , ACM Communications in Computer Algebra, 56 (2), pp.51-55, 2022, ⟨10.1145/3572867.3572874⟩
Poster de conférence
hal-03952454
v1
|
|
On Symbolic Approaches to Integro-Differential EquationsAlban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩
Chapitre d'ouvrage
hal-01367138
v2
|
|
Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.2008
Autre publication scientifique
hal-00212331
v1
|
|
Recent Advances on Integral Elimination2025
Pré-publication, Document de travail
hal-04965642
v1
|
|
A Short Contribution to the Theory of Regular Chains2019
Pré-publication, Document de travail
hal-02189597
v1
|
|
A computer scientist point of view on Hilbert's differential theorem of zeros2007
Pré-publication, Document de travail
hal-00170091
v2
|
|
Computing differential characteristic sets by change of ordering2007
Pré-publication, Document de travail
hal-00141095
v2
|
|
Model Reduction of Chemical Reaction Systems using Elimination2007
Pré-publication, Document de travail
hal-00184558
v1
|
|
LEPISME2005
Pré-publication, Document de travail
hal-00140368
v1
|
|
Contribution à l'algorithmique en algèbre différentielleGénie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002. Français. ⟨NNT : ⟩
Thèse
tel-00001363
v1
|
Chargement...
Chargement...