François Lemaire
Publications
Publications
|
|
Recent Advances on Integral Elimination50th International Symposium on Symbolic and Algebraic Computation (ISSAC'25), ACM SIGSAM, Jul 2025, Guanajuato, Mexico. pp.249-257, ⟨10.1145/3747199.3747568⟩ |
|
|
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⟩ |
|
|
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⟩ |
Parameter Estimation Using Integral EquationsMaple Conference 2023, Oct 2023, Online Conference, Canada |
|
|
|
Decoupling multivariate fractionsComputer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.209--231 |
|
|
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⟩ |
Identifiability, Integro-Differential Equations and Neurobiology. Talk AfternotesJournées Annuelles du GT BIOSS, Mar 2017, Montpellier, France |
|
|
|
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⟩ |
|
|
Finding First Integrals Using Normal Forms Modulo Differential Regular ChainsComputer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118 |
|
|
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 |
|
|
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⟩ |
On the Integration of Differential FractionsDifferential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France |
|
On the integration of differential fractionsISSAC'13, 2013, Boston, United States. pp.1-8 |
|
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166 |
|
Solving a Chemical Reaction System by a PDEFunctional Equations in LIMoges, 2012, Limoges, France |
|
|
|
Symmetry-based model reduction for approximate stochastic analysisComputational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68 |
|
|
Chemical Reaction Systems, Computer Algebra and Systems BiologyComputer Algebra and Scientific Computing, Sep 2011, Kassel, Germany |
|
|
On the Regularity Property of Differential Polynomials Modulo Regular Differential ChainsComputer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12 |
Solving semi-algebraic systems with the RegularChains library in MapleMathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51 |
|
The FreeMABSys Project and the MABSys LibraryMAGIX@LIX, 2011, Palaiseau, France |
|
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 |
|
Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and PhysicsDART IV, 2010, Beijing, China |
|
MABSys: Modeling and Analysis of Biological SystemsAlgebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72 |
|
|
|
Models of stochastic gene expression and Weyl algebraAlgebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97 |
Differential Algebra and QSSA methods in biochemistryInternational Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6 |
|
Real Root Isolation of Regular ChainsAsian Symposium on Computer Mathematics, 2009, France. pp.15-29 |
|
|
|
Differential algebra and system modeling in cellular biologyAB 2008, 2008, Hagenberg, Austria. pp.22-39 |
When does (T) equal sat(T)?International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. pp.207-214 |
|
|
|
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⟩ |
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 |
|
|
|
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⟩ |
|
|
Well known theorems on triangular systems and the D5 principleTransgressive Computing 2006, Apr 2006, France. pp.79-91 |
|
|
PARDI !international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩ |
|
|
Computing Canonical Representatives of Regular Differential IdealsInternational Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩ |
|
|
Parameter Estimation with Integral EliminationDifferential Algebra and Related Topics XII, Apr 2024, Kassel, Germany. |
|
|
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⟩ |
|
|
Integration of Integro-differential Equations and Deep LearningDifferential Algebra and Related Topics XI, Jun 2023, London, United Kingdom |
|
|
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⟩ |
|
|
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⟩ |
|
|
Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.2008 |
|
|
Deep Learning for Integro-Differential Elimination2026 |
|
|
The DenefLipshitz Algorithm: Deciding the Existence of Formal Power Series Solutions in Differential Algebra2025 |
|
|
A Short Contribution to the Theory of Regular Chains2019 |
|
|
Computing differential characteristic sets by change of ordering2007 |
|
|
A computer scientist point of view on Hilbert's differential theorem of zeros2007 |
|
|
Model Reduction of Chemical Reaction Systems using Elimination2007 |
|
|
LEPISME2005 |
|
|
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 : ⟩ |