François Boulier

Affiliations:
  • LIFL Lille, France


According to our database1, François Boulier authored at least 38 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Formal Power Series Solutions of Regular Differential Chains.
Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023
On initials and the fundamental theorem of tropical partial differential algebraic geometry.
J. Symb. Comput., 2023

2022
Foreword.
Math. Comput. Sci., 2022

2021
Foreword, with a Dedication to Vladimir Gerdt.
Math. Comput. Sci., 2021

A Short Contribution to the Theory of Regular Chains.
Math. Comput. Sci., 2021

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.
Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2020
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

The fundamental theorem of tropical partial differential algebraic geometry.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019
An equivalence theorem for regular differential chains.
J. Symb. Comput., 2019

2018
The SYMBIONT project: symbolic methods for biological networks.
ACM Commun. Comput. Algebra, 2018

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling.
Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2016
Additive normal forms and integration of differential fractions.
J. Symb. Comput., 2016

2015
Qualitative investigation of a gene model using computer algebra algorithms.
Program. Comput. Softw., 2015

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data.
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013
On the integration of differential fractions.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462).
Dagstuhl Reports, 2012

2011
Model Reduction of Chemical Reaction Systems using Elimination.
Math. Comput. Sci., 2011

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010
A Normal Form Algorithm for Regular Differential Chains.
Math. Comput. Sci., 2010

Computing differential characteristic sets by change of ordering.
J. Symb. Comput., 2010

Models of Stochastic Gene Expression and Weyl Algebra.
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.
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.
Math. Comput. Sci., 2009

Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput., 2009

Foreword to the article: Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput., 2009

Real Root Isolation of Regular Chains.
Proceedings of the Computer Mathematics, 2009

2008
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits.
Proceedings of the Algebraic Biology, Third International Conference, 2008

Differential Algebra and System Modeling in Cellular Biology.
Proceedings of the Algebraic Biology, Third International Conference, 2008

2007
On Proving the Absence of Oscillations in Models of Genetic Circuits.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant. (Algebraic rewriting in systems of polynomial differential equations with a view towards applications in life sciences).
, 2006

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

Pseudo-Permutations II: Geometry and Representation Theory.
Proceedings of the Discrete Models: Combinatorics, Computation, and Geometry, 2001

Cartan's Characters and Stairs of Characteristic Sets.
Proceedings of the Applied Algebra, 2001

2000
Computing canonical representatives of regular differential ideals.
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1995
Representation for the Radical of a Finitely Generated Differential Ideal.
Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

1994
Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra).
PhD thesis, 1994


  Loading...