default search action
François Lemaire
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]François Lemaire
, Louis Roussel
Parameter Estimation using Integral Equations. Maple Trans. 4(1) (2024) - [c26]François Boulier, François Lemaire:
On Formal Power Series Solutions of Regular Differential Chains. CASC 2024: 82-99 - [c25]François Lemaire
Contribution to Integral Elimination. CASC 2024: 215-235 - 2022
- [j16]François Lemaire, Louis Roussel:
Integral equation modelling and deep learning. ACM Commun. Comput. Algebra 56(2): 51-55 (2022) - 2021
- [j15]Pierre Fortin
High-performance SIMD modular arithmetic for polynomial evaluation. Concurr. Comput. Pract. Exp. 33(16) (2021) - [j14]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): 177-188 (2021) - [c24]François Lemaire, Adrien Poteaux:
Decoupling Multivariate Fractions. CASC 2021: 209-231 - 2020
- [i1]Pierre Fortin, Ambroise Fleury, François Lemaire
High performance SIMD modular arithmetic for polynomial evaluation. CoRR abs/2004.11571 (2020)
2010 – 2019
- 2019
- [j13]François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza:
An equivalence theorem for regular differential chains. J. Symb. Comput. 93: 34-55 (2019) - 2018
- [c23]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: 82-98 - 2016
- [j12]François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77: 16-38 (2016) - [c22]François Lemaire
Computing Sparse Representations of Systems of Rational Fractions. CASC 2016: 349-366 - 2015
- [j11]François Lemaire:
New development and application of integration of differential fractions. ACM Commun. Comput. Algebra 49(1): 26 (2015) - [j10]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): 105-111 (2015) - [c21]François Boulier, François Lemaire:
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. CASC 2015: 101-118 - 2014
- [c20]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: 28-43 - [c19]François Lemaire
On Defining and Computing "Good" Conservation Laws. CMSB 2014: 1-19 - 2013
- [c18]François Boulier, François Lemaire, Georg Regensburger
On the integration of differential fractions. ISSAC 2013: 101-108 - 2012
- [c17]Kirill Batmanov, Céline Kuttler, François Lemaire
Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB 2012: 49-68 - 2011
- [j9]Changbo Chen, James H. Davenport
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45(3/4): 166-168 (2011) - [j8]François Lemaire
When does <T> equal sat(T)? J. Symb. Comput. 46(12): 1291-1305 (2011) - [j7]François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination. Math. Comput. Sci. 5(3): 289-301 (2011) - [c16]François Boulier, François Lemaire, Alexandre Sedoglavic
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. CASC 2011: 61-72 - [c15]François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). CASC 2011: 73-87 - 2010
- [j6]François Boulier, François Lemaire, Marc Moreno Maza:
Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45(1): 124-149 (2010) - [j5]François Boulier, François Lemaire:
A Normal Form Algorithm for Regular Differential Chains. Math. Comput. Sci. 4(2-3): 185-201 (2010) - [c14]François Lemaire
MABSys: Modeling and Analysis of Biological Systems. ANB 2010: 57-75 - [c13]Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler:
Models of Stochastic Gene Expression and Weyl Algebra. ANB 2010: 76-97 - [c12]Masahiko Nakatsui, Alexandre Sedoglavic
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. ANB 2010: 149-166 - [c11]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: 85-92
2000 – 2009
- 2009
- [j4]François Boulier, François Lemaire, Alexandre Sedoglavic
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. Math. Comput. Sci. 2(3): 443-464 (2009) - [c10]François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza:
Real Root Isolation of Regular Chains. ASCM 2009: 33-48 - 2008
- [j3]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): 182-184 (2008) - [c9]François Boulier, François Lemaire:
Differential Algebra and System Modeling in Cellular Biology. AB 2008: 22-39 - [c8]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: 56-64 - [c7]Changbo Chen, François Lemaire
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. ICCSA Workshops 2008: 342-352 - [c6]François Lemaire
When does (T) equal sat(T)? ISSAC 2008: 207-214 - 2007
- [c5]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: 66-80 - [c4]Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan:
Comprehensive Triangular Decomposition. CASC 2007: 73-101 - [c3]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: 268-271 - 2005
- [j2]François Lemaire, Marc Moreno Maza, Yuzhen Xie:
The RegularChains library in MAPLE. SIGSAM Bull. 39(3): 96-97 (2005) - 2003
- [j1]François Lemaire
An orderly linear PDE system with analytic initial conditions with a non-analytic solution. J. Symb. Comput. 35(5): 487-498 (2003) - 2002
- [b1]François Lemaire:
Contribution à l'algorithmique en algèbre différentielle. Lille University of Science and Technology, France, 2002 - 2001
- [c2]François Boulier, François Lemaire, Marc Moreno Maza:
PARDI!. ISSAC 2001: 38-47 - 2000
- [c1]François Boulier, François Lemaire:
Computing canonical representatives of regular differential ideals. ISSAC 2000: 38-47
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: