François Lemaire

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