François Lemaire

Publications

Article dans une revue (14)

Parameter Estimation using Integral Equations François Lemaire,Louis Roussel Maple Transactions, 2024, Proceedings of the Maple Conference 2023, 4 (1), ⟨10.5206/mt.v4i1.17126⟩ Article dans une revue hal-04560846v2
High performance SIMD modular arithmetic for polynomial evaluation Pierre Fortin,Ambroise Fleury,François Lemaire,Michael Monagan Concurrency and Computation: Practice and Experience, 2021, 33 (16), pp.e6270. ⟨10.1002/cpe.6270⟩ Article dans une revue hal-02552673v1
A Short Contribution to the Theory of Regular Chains François Boulier,François Lemaire,Marc Moreno Maza,Adrien Poteaux Mathematics in Computer Science, 2021, 15 (2), pp.177-188. ⟨10.1007/s11786-020-00477-x⟩ Article dans une revue hal-02464434v1
An Equivalence Theorem For Regular Differential Chains François Boulier,François Lemaire,Adrien Poteaux,Marc Moreno Maza Journal of Symbolic Computation, In press, 93, pp.34-55. ⟨10.1016/j.jsc.2018.04.011⟩ Article dans une revue hal-01391768v3
Additive Normal Forms and Integration of Differential Fractions François Boulier,Joseph Lallemand,François Lemaire,Georg Regensburger,Markus Rosenkranz Journal of Symbolic Computation, 2016 Article dans une revue hal-01245378v1
Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms François Boulier,François Lemaire,Valery G. Romanovski,M. Han Programming and Computer Software, 2015, 41 (2), pp.105-111 Article dans une revue hal-01234977v1
Model Reduction of Chemical Reaction Systems using Elimination François Boulier,Marc Lefranc,François Lemaire,Pierre-Emmanuel Morant Mathematics in Computer Science, 2011, 5, pp.289-301 Article dans une revue hal-00824993v1
Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation. François Boulier,François Lemaire,Alexandre Sedoglavic,Katsuhisa Horimoto,Masahiko Nakatsuiet al. IET Systems Biology, 2011, 5 (5), pp.287-292 Article dans une revue hal-00825379v1
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
A Normal Form Algorithm for Regular Differential Chains François Boulier,François Lemaire Mathematics in Computer Science, 2010, 4 (2), pp.185-201 Article dans une revue hal-00824964v1
Computing Differential Characteristic Sets by Change of Ordering François Boulier,François Lemaire,Marc Moreno Maza Journal of Symbolic Computation, 2010, 45, pp.124-149. ⟨10.1016/j.jsc.2009.09.004⟩ Article dans une revue hal-00824984v1
Oscillations in the expression of a self-repressed gene induced by a slow transcriptional dynamics Pierre-Emmanuel Morant,Quentin Thommen,François Lemaire,Constant Vandermoëre,Benjamin Parentet al. Physical Review Letters, 2009, 102 (6), pp.068104. ⟨10.1103/PhysRevLett.102.068104⟩ Article dans une revue hal-00268097v2
Towards an automated reduction method for polynomial ODE models in cellular biology François Boulier,François Lemaire,Alexandre Sedoglavic,Aslı Grimaud Mathematics in Computer Science, 2009, 2 (3), pp.443-464. ⟨10.1007/s11786-008-0062-6⟩ Article dans une revue hal-00307915v2
{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

Communication dans un congrès (34)

Recent Advances on Integral Elimination François Lemaire,Louis Roussel 50th International Symposium on Symbolic and Algebraic Computation (ISSAC'25), ACM SIGSAM, Jul 2025, Guanajuato, Mexico. pp.249-257, ⟨10.1145/3747199.3747568⟩ Communication dans un congrès hal-04965642v2
On Formal Power Series Solutions of Regular Differential Chains François Boulier,François Lemaire Computer 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-04547418v3
Contribution to Integral Elimination François Lemaire,Louis Roussel Computer 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-04570612v2
Parameter Estimation Using Integral Equations François Lemaire,Louis Roussel Maple Conference 2023, Oct 2023, Online Conference, Canada Communication dans un congrès hal-04522033v1
Decoupling multivariate fractions François Lemaire,Adrien Poteaux Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.209--231 Communication dans un congrès hal-03285870v1
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling François Boulier,Hélène Castel,Nathalie Corson,Valentina Lanza,François Lemaireet al. CASC 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-01765409v2
Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes François Boulier,François Lemaire,Adrien Poteaux,Alban Quadrat,Nathalie Verdièreet al. Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France Communication dans un congrès hal-01490268v1
Computing Sparse Representations of Systems of Rational Fractions François Lemaire,Alexandre Temperville Computer 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-01407919v1
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains François Boulier,François Lemaire Computer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118 Communication dans un congrès hal-01234982v1
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data François Boulier,Anja Korporal,François Lemaire,Wilfrid Perruquetti,Adrien Poteauxet al. Computer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43 Communication dans un congrès hal-01114187v1
On Defining and Computing ``Good'' Conservation Laws François Lemaire,Alexandre Temperville Computational 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-01407915v1
On the Integration of Differential Fractions François Boulier,François Lemaire Differential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France Communication dans un congrès hal-00825862v1
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
Symmetry-based model reduction for approximate stochastic analysis Kirill Batmanov,Celine Kuttler,François Lemaire,Cédric Lhoussaine,Cristian Versari Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68 Communication dans un congrès hal-00713386v1
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors Masahiko Nakatsui,Alexandre Sedoglavic,François Lemaire,François Boulier,Aslı Grimaudet al. 4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166 Communication dans un congrès hal-00824995v1
Solving a Chemical Reaction System by a PDE François Lemaire Functional Equations in LIMoges, 2012, Limoges, France Communication dans un congrès hal-00825869v1
The FreeMABSys Project and the MABSys Library François Lemaire MAGIX@LIX, 2011, Palaiseau, France Communication dans un congrès hal-00825863v1
Solving semi-algebraic systems with the RegularChains library in Maple François Lemaire,Changbo Chen,James H. Davenport,Marc Moreno Maza,Nalina Phisanbutet al. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51 Communication dans un congrès hal-00825013v1
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains François Boulier,François Lemaire,Alexandre Sedoglavic Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12 Communication dans un congrès hal-00599440v1
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
Models of stochastic gene expression and Weyl algebra Samuel Alexandre Vidal,Michel Petitot,François Boulier,François Lemaire,Celine Kuttler Algebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97 Communication dans un congrès hal-00492438v2
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
Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and Physics François Lemaire DART IV, 2010, Beijing, China Communication dans un congrès hal-00825125v1
A Method for semi-rectifying Algebraic and Differential Systems using Scaling type Lie Point Symmetries with Linear Algebra François Lemaire,Aslı Grimaud International Symposium on Symbolic and algebraic computation, 2010, Munich, Germany. pp.85--92 Communication dans un congrès hal-00825033v1
Differential Algebra and QSSA methods in biochemistry François Boulier,François Lemaire International Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6 Communication dans un congrès hal-00842562v1
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
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits François Boulier,François Lemaire,Marc Lefranc,Pierre-Emmanuel Morant Journées Ouvertes Biologie Informatique Mathématiques, 2008, Lille, France. pp.77-82 Communication dans un congrès hal-00825126v1
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
When does (T) equal sat(T)? François Lemaire,Marc Moreno Maza,Wei Pan,Yuzhen Xie International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. pp.207-214 Communication dans un congrès hal-00825039v1
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
On proving the absence of oscillations in models of genetic circuits François Boulier,Marc Lefranc,François Lemaire,Pierre-Emmanuel Morant,Aslı Grimaud Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩ Communication dans un congrès hal-00139667v1
Well known theorems on triangular systems and the D5 principle François Boulier,François Lemaire,Marc Moreno Maza Transgressive Computing 2006, Apr 2006, France. pp.79-91 Communication dans un congrès hal-00137158v1
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
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

Poster de conférence (4)

Parameter Estimation with Integral Elimination François Lemaire,Louis Roussel Differential Algebra and Related Topics XII, Apr 2024, Kassel, Germany. Poster de conférence hal-04576171v1
A Prototype for Integral Elimination François Lemaire,Louis Roussel International 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-04965235v1
Integration of Integro-differential Equations and Deep Learning François Lemaire,Louis Roussel Differential Algebra and Related Topics XI, Jun 2023, London, United Kingdom Poster de conférence hal-04254563v1
Integral equation modelling and deep learning François Lemaire,Louis Roussel International 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-03952454v1

Chapitre d'ouvrage (1)

On Symbolic Approaches to Integro-Differential Equations François Boulier,François Lemaire,Markus Rosenkranz,Rosane Ushirobira,Nathalie Verdière Alban 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-01367138v2

Autre publication scientifique (1)

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

Pré-publication, Document de travail (7)

Deep Learning for Integro-Differential Modelling François Lemaire,Louis Roussel 2026 Pré-publication, Document de travail hal-05230281v3
The DenefLipshitz Algorithm: Deciding the Existence of Formal Power Series Solutions in Differential Algebra François Boulier,François Lemaire,Thi Xuan Vu 2025 Pré-publication, Document de travail hal-05294349v3
A Short Contribution to the Theory of Regular Chains François Boulier,François Lemaire,Marc Moreno Maza,Adrien Poteaux 2019 Pré-publication, Document de travail hal-02189597v1
Computing differential characteristic sets by change of ordering François Boulier,François Lemaire,Marc Moreno Maza 2007 Pré-publication, Document de travail hal-00141095v2
A computer scientist point of view on Hilbert's differential theorem of zeros François Boulier,François Lemaire 2007 Pré-publication, Document de travail hal-00170091v2
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
LEPISME François Boulier,Lilianne Denis-Vidal,Ghislaine Joly-Blanchard,François Lemaire 2005 Pré-publication, Document de travail hal-00140368v1

Thèse (1)

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