François Lemaire

62
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Nakatsui et 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

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
Deposit thumbnail

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
Deposit thumbnail

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 Parent et al.

Physical Review Letters, 2009, 102 (6), pp.068104. ⟨10.1103/PhysRevLett.102.068104⟩

Article dans une revue hal-00268097v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

François Boulier , Hélène Castel , Nathalie Corson , Valentina Lanza , François Lemaire et 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ère et al.

Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France

Communication dans un congrès hal-01490268v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Poteaux et al.

Computer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43

Communication dans un congrès hal-01114187v1
Deposit thumbnail

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

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ı Grimaud et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Solving semi-algebraic systems with the RegularChains library in Maple

François Lemaire , Changbo Chen , James H. Davenport , Marc Moreno Maza , Nalina Phisanbut et al.

Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51

Communication dans un congrès hal-00825013v1

The FreeMABSys Project and the MABSys Library

François Lemaire

MAGIX@LIX, 2011, Palaiseau, France

Communication dans un congrès hal-00825863v1

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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