François Boulier

According to our database, François Boulier authored at least 37 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On initials and the fundamental theorem of tropical partial differential algebraic geometry.

Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, François Boulier, Zeinab Toghani

J. Symb. Comput., 2023

2022

Foreword.

Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm

Math. Comput. Sci., 2022

2021

Foreword, with a Dedication to Vladimir Gerdt.

Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm

Math. Comput. Sci., 2021

A Short Contribution to the Theory of Regular Chains.

François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux

Math. Comput. Sci., 2021

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.

François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez

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.

François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

The fundamental theorem of tropical partial differential algebraic geometry.

Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

An equivalence theorem for regular differential chains.

François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza

J. Symb. Comput., 2019

2018

The SYMBIONT project: symbolic methods for biological networks.

François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber

ACM Commun. Comput. Algebra, 2018

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling.

François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière

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

2016

Additive normal forms and integration of differential fractions.

François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz

J. Symb. Comput., 2016

2015

Qualitative investigation of a gene model using computer algebra algorithms.

François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski

Program. Comput. Softw., 2015

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains.

François Boulier, François Lemaire

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.

François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira

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

2013

On the integration of differential fractions.

François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz

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

2012

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

François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber

Dagstuhl Reports, 2012

2011

Model Reduction of Chemical Reaction Systems using Elimination.

François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant

Math. Comput. Sci., 2011

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

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).

François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic

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

2010

A Normal Form Algorithm for Regular Differential Chains.

François Boulier, François Lemaire

Math. Comput. Sci., 2010

Computing differential characteristic sets by change of ordering.

François Boulier, François Lemaire, Marc Moreno Maza

J. Symb. Comput., 2010

Models of Stochastic Gene Expression and Weyl Algebra.

Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler

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.

Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, Katsuhisa Horimoto

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.

François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü

Math. Comput. Sci., 2009

Computing representations for radicals of finitely generated differential ideals.

François Boulier, Daniel Lazard, François Ollivier, Michel Petitot

Appl. Algebra Eng. Commun. Comput., 2009

Foreword to the article: Computing representations for radicals of finitely generated differential ideals.

François Boulier

Appl. Algebra Eng. Commun. Comput., 2009

Real Root Isolation of Regular Chains.

François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza

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.

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.

François Boulier, François Lemaire

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

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

François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü

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).

François Boulier

, 2006

2001

PARDI!.

François Boulier, François Lemaire, Marc Moreno Maza

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

Pseudo-Permutations II: Geometry and Representation Theory.

François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli

Proceedings of the Discrete Models: Combinatorics, Computation, and Geometry, 2001

Cartan's Characters and Stairs of Characteristic Sets.

François Boulier, Sylvain Neut

Proceedings of the Applied Algebra, 2001

2000

Computing canonical representatives of regular differential ideals.

François Boulier, François Lemaire

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

1995

Representation for the Radical of a Finitely Generated Differential Ideal.

François Boulier, Daniel Lazard, François Ollivier, Michel Petitot

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).

François Boulier

PhD thesis, 1994