François Lemaire

Orcid: 0000-0001-7349-4396

According to our database¹, François Lemaire authored at least 43 papers between 2000 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Parameter Estimation using Integral Equations.

[BibT_eX]

[DOI]

François Lemaire

Louis Roussel

Maple Trans., 2024

Contribution to Integral Elimination.

[BibT_eX]

[DOI]

François Lemaire

Louis Roussel

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

On Formal Power Series Solutions of Regular Differential Chains.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2022

Integral equation modelling and deep learning.

[BibT_eX]

[DOI]

François Lemaire

Louis Roussel

ACM Commun. Comput. Algebra, 2022

2021

A Short Contribution to the Theory of Regular Chains.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

High-performance SIMD modular arithmetic for polynomial evaluation.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2021

Decoupling Multivariate Fractions.

[BibT_eX]

[DOI]

François Lemaire

Adrien Poteaux

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2019

An equivalence theorem for regular differential chains.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

2018

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2016

Additive normal forms and integration of differential fractions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Computing Sparse Representations of Systems of Rational Fractions.

[BibT_eX]

[DOI]

François Lemaire

Alexandre Temperville

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

Qualitative investigation of a gene model using computer algebra algorithms.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2015

New development and application of integration of differential fractions.

[BibT_eX]

[DOI]

François Lemaire

ACM Commun. Comput. Algebra, 2015

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

On Defining and Computing "Good" Conservation Laws.

[BibT_eX]

[DOI]

François Lemaire

Alexandre Temperville

Proceedings of the Computational Methods in Systems Biology, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

On the integration of differential fractions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Symmetry-Based Model Reduction for Approximate Stochastic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Model Reduction of Chemical Reaction Systems using Elimination.

[BibT_eX]

[DOI]

François Boulier

Marc Lefranc

François Lemaire

Pierre-Emmanuel Morant

Math. Comput. Sci., 2011

When does <T> equal sat(T)?

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Computing the real solutions of polynomial systems with the RegularChains library in Maple.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2011

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Alexandre Sedoglavic

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

A Normal Form Algorithm for Regular Differential Chains.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Math. Comput. Sci., 2010

Computing differential characteristic sets by change of ordering.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Marc Moreno Maza

J. Symb. Comput., 2010

A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra.

[BibT_eX]

[DOI]

François Lemaire

Asli Ürgüplü

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Models of Stochastic Gene Expression and Weyl Algebra.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

MABSys: Modeling and Analysis of Biological Systems.

[BibT_eX]

[DOI]

François Lemaire

Asli Ürgüplü

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2009

Real Root Isolation of Regular Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 2009

2008

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

When does (<i>T</i>) equal sat(<i>T</i>)?

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits.

[BibT_eX]

[DOI]

François Boulier

Marc Lefranc

François Lemaire

Pierre-Emmanuel Morant

Proceedings of the Algebraic Biology, Third International Conference, 2008

Differential Algebra and System Modeling in Cellular Biology.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Comprehensive Triangular Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

On Proving the Absence of Oscillations in Models of Genetic Circuits.

[BibT_eX]

[DOI]

François Boulier

Marc Lefranc

François Lemaire

Pierre-Emmanuel Morant

Asli Ürgüplü

Proceedings of the Algebraic Biology, Second International Conference, 2007

2005

The RegularChains library in MAPLE.

[BibT_eX]

[DOI]

François Lemaire

Marc Moreno Maza

Yuzhen Xie

SIGSAM Bull., 2005

2003

An orderly linear PDE system with analytic initial conditions with a non-analytic solution.

[BibT_eX]

[DOI]

François Lemaire

J. Symb. Comput., 2003

2002

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

[BibT_eX]

[DOI]

François Lemaire

PhD thesis, 2002

2001

PARDI!.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Marc Moreno Maza

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

2000

Computing canonical representatives of regular differential ideals.

[BibT_eX]

[DOI]

François Boulier

François Lemaire

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

François Lemaire

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...