François Boulier

59
Documents

Publications

Publications

Deposit thumbnail

On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry

Sebastian Falkensteiner , Cristhian Emmanuel Garay-Lopez , Mercedes Haiech , Marc Paul Noordman , François Boulier et al.

Journal of Symbolic Computation, 2023, 115C, pp.53-73. ⟨10.1016/j.jsc.2022.08.005⟩

Article dans une revue hal-03122437v2
Deposit thumbnail

A Short Contribution to the Theory of Regular Chains

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

Mathematics in Computer Science, 2021, 15 (2), pp.177-188. ⟨10.1007/s11786-020-00477-x⟩

Article dans une revue hal-02464434v1
Deposit thumbnail

An Equivalence Theorem For Regular Differential Chains

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

Journal of Symbolic Computation, In press, 93, pp.34-55. ⟨10.1016/j.jsc.2018.04.011⟩

Article dans une revue hal-01391768v3

The SYMBIONT project: symbolic methods for biological networks

François Boulier , François Fages , Ovidiu Radulescu , Satya Swarup Samal , Andreas Schuppert et al.

ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩

Article dans une revue hal-02061018v1
Deposit thumbnail

Additive Normal Forms and Integration of Differential Fractions

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

Journal of Symbolic Computation, 2016

Article dans une revue hal-01245378v1

Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms

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

Programming and Computer Software, 2015, 41 (2), pp.105-111

Article dans une revue hal-01234977v1
Deposit thumbnail

Model Reduction of Chemical Reaction Systems using Elimination

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

Mathematics in Computer Science, 2011, 5, pp.289-301

Article dans une revue hal-00824993v1

Computing Differential Characteristic Sets by Change of Ordering

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

Journal of Symbolic Computation, 2010, 45, pp.124-149. ⟨10.1016/j.jsc.2009.09.004⟩

Article dans une revue hal-00824984v1
Deposit thumbnail

Towards an automated reduction method for polynomial ODE models in cellular biology

François Boulier , François Lemaire , Alexandre Sedoglavic , Aslı Grimaud

Mathematics in Computer Science, 2009, 2 (3), pp.443-464. ⟨10.1007/s11786-008-0062-6⟩

Article dans une revue hal-00307915v2
Deposit thumbnail

Computing representations for radicals of finitely generated differential ideals

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

Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩

Article dans une revue hal-00820902v1
Deposit thumbnail

On Formal Power Series Solutions of Regular Differential Chains

François Boulier , François Lemaire

Computer Algebra in Scientific Computing (CASC) 26th International Workshop, Sep 2024, Rennes, France. pp.82-99, ⟨10.1007/978-3-031-69070-9_6⟩

Communication dans un congrès hal-04547418v3
Deposit thumbnail

On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry

François Boulier , Sebastian Falkensteiner , Marc Paul Noordman , Omar Leon Sanchez

Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.62-77

Communication dans un congrès hal-03225922v2

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package

François Boulier , Jose Cano , Sebastian Falkensteiner , Rafael Sendra

Proceedings of the Maple Conference 2020, Nov 2020, Waterloo, Canada

Communication dans un congrès hal-03167642v1

The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Sebastian Falkensteiner , Cristhian Emmanuel Garay-Lopez , Mercedes Haiech , Marc Paul Noordman , Zeinab Toghani et al.

ISSAC'20 : International Symposium on Symbolic and Algebraic Computation 2020, Jul 2020, Kalamata, Greece. pp.178-185, ⟨10.1145/3373207.3404040⟩

Communication dans un congrès hal-02472809v1

On the Parameter Estimation Problem for Integro-Differential Models

François Boulier

AADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain

Communication dans un congrès hal-01780909v1
Deposit thumbnail

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

François Boulier , Hélène Castel , Nathalie Corson , Valentina Lanza , François Lemaire et al.

CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. ⟨10.1007/978-3-319-99639-4_6⟩

Communication dans un congrès hal-01765409v2

Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes

François Boulier , François Lemaire , Adrien Poteaux , Alban Quadrat , Nathalie Verdière et al.

Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France

Communication dans un congrès hal-01490268v1
Deposit thumbnail

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

François Boulier , François Lemaire

Computer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118

Communication dans un congrès hal-01234982v1

On the Integration of Differential Fractions

François Boulier , François Lemaire

Differential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France

Communication dans un congrès hal-00825862v1

On the integration of differential fractions

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

ISSAC'13, 2013, Boston, United States. pp.1-8

Communication dans un congrès hal-00825855v1

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

Masahiko Nakatsui , Alexandre Sedoglavic , François Lemaire , François Boulier , Aslı Grimaud et al.

4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166

Communication dans un congrès hal-00824995v1

A Differential Algebra Package in Sage

François Boulier , Nicolas M. Thiéry

AADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria

Communication dans un congrès hal-00825118v1
Deposit thumbnail

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

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

Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12

Communication dans un congrès hal-00599440v1

The FreeMABSys project and the BLAD libraries

François Boulier

MAGIX@LIX, 2011, Palaiseau, France

Communication dans un congrès hal-00825861v1
Deposit thumbnail

Chemical Reaction Systems, Computer Algebra and Systems Biology

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

Computer Algebra and Scientific Computing, Sep 2011, Kassel, Germany

Communication dans un congrès hal-00603290v1
Deposit thumbnail

Models of stochastic gene expression and Weyl algebra

Samuel Alexandre Vidal , Michel Petitot , François Boulier , François Lemaire , Celine Kuttler

Algebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97

Communication dans un congrès hal-00492438v2

On applications of differential elimination to modeling problems in biology

François Boulier

International Conference in the Honor of Wu Wen-Tsun 90th birthday, 2009, China

Communication dans un congrès hal-00825859v1

Differential Algebra and QSSA methods in biochemistry

François Boulier , François Lemaire

International Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6

Communication dans un congrès hal-00842562v1
Deposit thumbnail

On the role of differential algebra in biological modeling

François Boulier

Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro, Mar 2008, Catania, Italy. pp.39-44

Communication dans un congrès hal-00274685v1
Deposit thumbnail

Differential algebra and system modeling in cellular biology

François Boulier , François Lemaire

AB 2008, 2008, Hagenberg, Austria. pp.22-39

Communication dans un congrès hal-00274689v1
Deposit thumbnail

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

AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩

Communication dans un congrès hal-00213327v2
Deposit thumbnail

On proving the absence of oscillations in models of genetic circuits

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

Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩

Communication dans un congrès hal-00139667v1
Deposit thumbnail

Differential Elimination and Biological Modelling

François Boulier

Workshop D2.2 of the Special Semester on Gröbner Bases and Related Methods, May 2006, Hagenberg, Austria. pp.111-139

Communication dans un congrès hal-00139364v1
Deposit thumbnail

Well known theorems on triangular systems and the D5 principle

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

Transgressive Computing 2006, Apr 2006, France. pp.79-91

Communication dans un congrès hal-00137158v1
Deposit thumbnail

PARDI !

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

international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩

Communication dans un congrès hal-00139354v1
Deposit thumbnail

Pseudo-Permutations II: Geometry and Representation Theory

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

Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001, 2001, Paris, France. pp.123-132, ⟨10.46298/dmtcs.2299⟩

Communication dans un congrès hal-01182979v1
Deposit thumbnail

Computing Canonical Representatives of Regular Differential Ideals

François Boulier , François Lemaire

International Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩

Communication dans un congrès hal-00139177v1
Deposit thumbnail

Efficient computation of regular differential systems by change of rankings using Kähler differentials

François Boulier

MEGA 2000, 2000, Bath, United Kingdom

Communication dans un congrès hal-00139738v1
Deposit thumbnail

Representation for the radical of a finitely generated differential ideal

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

international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩

Communication dans un congrès hal-00138020v2
Deposit thumbnail

On Symbolic Approaches to Integro-Differential Equations

François Boulier , François Lemaire , Markus Rosenkranz , Rosane Ushirobira , Nathalie Verdière

Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩

Chapitre d'ouvrage hal-01367138v2
Deposit thumbnail

The DenefLipshitz Algorithm: Deciding the Existence of Formal Power Series Solutions in Differential Algebra

François Boulier , François Lemaire , Thi Xuan Vu

2025

Pré-publication, Document de travail hal-05294349v3
Deposit thumbnail

The DenefLipshitz Algorithm - Software Demonstration Support

François Boulier

2025

Pré-publication, Document de travail hal-05030501v2
Deposit thumbnail

A Short Contribution to the Theory of Regular Chains

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

2019

Pré-publication, Document de travail hal-02189597v1
Deposit thumbnail

The Ritt-Raudenbush Theorem and Tropical Differential Geometry

François Boulier , Mercedes Haiech

2019

Pré-publication, Document de travail hal-02403365v2
Deposit thumbnail

The Management of Parameters in the MAPLE DifferentialAlgebra Package

François Boulier

2018

Pré-publication, Document de travail hal-01825191v1
Deposit thumbnail

A computer scientist point of view on Hilbert's differential theorem of zeros

François Boulier , François Lemaire

2007

Pré-publication, Document de travail hal-00170091v2
Deposit thumbnail

Computing differential characteristic sets by change of ordering

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

2007

Pré-publication, Document de travail hal-00141095v2
Deposit thumbnail

Model Reduction of Chemical Reaction Systems using Elimination

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

2007

Pré-publication, Document de travail hal-00184558v1
Deposit thumbnail

LEPISME

François Boulier , Lilianne Denis-Vidal , Ghislaine Joly-Blanchard , François Lemaire

2005

Pré-publication, Document de travail hal-00140368v1
Deposit thumbnail

Triangularisation de systèmes de polynômes différentiels

François Boulier

2000

Pré-publication, Document de travail hal-00140006v1
Deposit thumbnail

Computing representations for radicals of finitely generated differential ideals

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

1999

Pré-publication, Document de travail hal-00139061v1
Deposit thumbnail

Étude et implantation de quelques algorithmes en algèbre différentielle

François Boulier

Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. ⟨NNT : ⟩

Thèse tel-00137866v1