François Lemaire

Documents

Publications

	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
	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
	An Equivalence Theorem For Regular Differential Chains François Boulier , François Lemaire , Adrien Poteaux , Marc Moreno Maza Journal of Symbolic Computation, inPress, 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 Nakatsui 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
	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
	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
	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 Physical Review Letters, 2009, 102 (6), pp.068104. ⟨10.1103/PhysRevLett.102.068104⟩ Article dans une revue hal-00268097v2
	{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

	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 Lemaire 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 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 Poteaux 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 , Georg Regensburger , Markus Rosenkranz ISSAC'13, 2013, Boston, United States. pp.1-8 Communication dans un congrès hal-00825855v1
	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
	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
	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
	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
	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
	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 Phisanbut Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51 Communication dans un congrès hal-00825013v1
	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
	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
	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
	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 4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166 Communication dans un congrès hal-00824995v1
	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
	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
	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
	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

	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

	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

	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

	On Formal Power Series Solutions of Regular Differential Chains François Boulier , François Lemaire 2024 Pré-publication, Document de travail hal-04547418v1
	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
	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
	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
	LEPISME François Boulier , François Lemaire , Lilianne Denis-Vidal , Thibaut Henin 2005 Pré-publication, Document de travail hal-00140368v1

	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

François Lemaire

Publications

A Short Contribution to the Theory of Regular Chains

High performance SIMD modular arithmetic for polynomial evaluation

An Equivalence Theorem For Regular Differential Chains

Additive Normal Forms and Integration of Differential Fractions

Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms

Model Reduction of Chemical Reaction Systems using Elimination

Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.

When does (T) equal sat(T)?

Computing Differential Characteristic Sets by Change of Ordering

A Normal Form Algorithm for Regular Differential Chains

Towards an automated reduction method for polynomial ODE models in cellular biology

Oscillations in the expression of a self-repressed gene induced by a slow transcriptional dynamics

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

Parameter Estimation Using Integral Equations

Decoupling multivariate fractions

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes

Computing Sparse Representations of Systems of Rational Fractions

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data

On Defining and Computing ``Good'' Conservation Laws

On the integration of differential fractions

On the Integration of Differential Fractions

Symmetry-based model reduction for approximate stochastic analysis

Solving a Chemical Reaction System by a PDE

Chemical Reaction Systems, Computer Algebra and Systems Biology

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

The FreeMABSys Project and the MABSys Library

Solving semi-algebraic systems with the RegularChains library in Maple

MABSys: Modeling and Analysis of Biological Systems

Models of stochastic gene expression and Weyl algebra

Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and Physics

A Method for semi-rectifying Algebraic and Differential Systems using Scaling type Lie Point Symmetries with Linear Algebra

A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors

Differential Algebra and QSSA methods in biochemistry

Real Root Isolation of Regular Chains

Differential algebra and system modeling in cellular biology

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

When does (T) equal sat(T)?

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

On proving the absence of oscillations in models of genetic circuits

Well known theorems on triangular systems and the D5 principle

PARDI !

Computing Canonical Representatives of Regular Differential Ideals

Integration of Integro-differential Equations and Deep Learning

Integral equation modelling and deep learning

On Symbolic Approaches to Integro-Differential Equations

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

On Formal Power Series Solutions of Regular Differential Chains

A Short Contribution to the Theory of Regular Chains

Model Reduction of Chemical Reaction Systems using Elimination

Computing differential characteristic sets by change of ordering

A computer scientist point of view on Hilbert's differential theorem of zeros

LEPISME

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