François Lemaire

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 12

Top Venues

CASC

ACM Commun. Comput. Algebra

J. Symb. Comput.

Math. Comput. Sci.

Lille University of Science and Technology, France (PHD)

Education History

Lille University of Science and Technology, France

PHD

Publications

François Boulier, François Lemaire
On Formal Power Series Solutions of Regular Differential Chains. CASC (2024)
François Lemaire, Louis Roussel
Contribution to Integral Elimination. CASC (2024)
François Lemaire, Louis Roussel
Parameter Estimation using Integral Equations. Maple Trans. 4 (1) (2024)
François Lemaire, Louis Roussel
Integral equation modelling and deep learning. ACM Commun. Comput. Algebra 56 (2) (2022)
François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux
A Short Contribution to the Theory of Regular Chains. Math. Comput. Sci. 15 (2) (2021)
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael B. Monagan
High-performance SIMD modular arithmetic for polynomial evaluation. Concurr. Comput. Pract. Exp. 33 (16) (2021)
François Lemaire, Adrien Poteaux
Decoupling Multivariate Fractions. CASC (2021)
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael B. Monagan
High performance SIMD modular arithmetic for polynomial evaluation. CoRR (2020)
François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza
An equivalence theorem for regular differential chains. J. Symb. Comput. 93 (2019)
François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. CASC (2018)
François Lemaire, Alexandre Temperville
Computing Sparse Representations of Systems of Rational Fractions. CASC (2016)
François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77 (2016)
François Lemaire
New development and application of integration of differential fractions. ACM Commun. Comput. Algebra 49 (1) (2015)
François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski
Qualitative investigation of a gene model using computer algebra algorithms. Program. Comput. Softw. 41 (2) (2015)
François Boulier, François Lemaire
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. CASC (2015)
François Lemaire, Alexandre Temperville
On Defining and Computing "Good" Conservation Laws. CMSB (2014)
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. CASC (2014)
François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz
On the integration of differential fractions. ISSAC (2013)
Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari
Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB (2012)
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
When does equal sat(T)? J. Symb. Comput. 46 (12) (2011)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
Model Reduction of Chemical Reaction Systems using Elimination. Math. Comput. Sci. 5 (3) (2011)
Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45 (3/4) (2011)
François Boulier, François Lemaire, Alexandre Sedoglavic
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. CASC (2011)
François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). CASC (2011)
François Boulier, François Lemaire
A Normal Form Algorithm for Regular Differential Chains. Math. Comput. Sci. 4 (2-3) (2010)
François Boulier, François Lemaire, Marc Moreno Maza
Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45 (1) (2010)
François Lemaire, Asli Ürgüplü
A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. ISSAC (2010)
Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, Katsuhisa Horimoto
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. ANB (2010)
François Lemaire, Asli Ürgüplü
MABSys: Modeling and Analysis of Biological Systems. ANB (2010)
Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler
Models of Stochastic Gene Expression and Weyl Algebra. ANB (2010)
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
Real Root Isolation of Regular Chains. ASCM (2009)
François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. Math. Comput. Sci. 2 (3) (2009)
Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. ACM Commun. Comput. Algebra 42 (3) (2008)
François Boulier, François Lemaire
Differential Algebra and System Modeling in Cellular Biology. AB (2008)
Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. ICCSA Workshops (2008)
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
)? ISSAC (2008)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. AB (2008)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü
On Proving the Absence of Oscillations in Models of Genetic Circuits. AB (2007)
Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. International Conference on Computational Science (2) (2007)
Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan
Comprehensive Triangular Decomposition. CASC (2007)
François Lemaire, Marc Moreno Maza, Yuzhen Xie
The RegularChains library in MAPLE. SIGSAM Bull. 39 (3) (2005)
François Lemaire
An orderly linear PDE system with analytic initial conditions with a non-analytic solution. J. Symb. Comput. 35 (5) (2003)
François Boulier, François Lemaire, Marc Moreno Maza
PARDI!. ISSAC (2001)
François Boulier, François Lemaire
Computing canonical representatives of regular differential ideals. ISSAC (2000)

François Lemaire.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Lemaire