François Boulier

58
Documents

Publications

Publications

Image document

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-03122437 v2
Image document

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-02464434 v1
Image document

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-01391768 v3

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-02061018 v1
Image document

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-01245378 v1

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-01234977 v1
Image document

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-00824993 v1

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-00824984 v1
Image document

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-00820902 v1
Image document

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-00307915 v2
Image document

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-04547418 v3

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-03167642 v1
Image document

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-03225922 v2

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-02472809 v1
Image document

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-01765409 v2

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-01780909 v1

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-01490268 v1
Image document

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-01234982 v1

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-00825862 v1

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-00825855 v1

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-00824995 v1

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-00825118 v1

The FreeMABSys project and the BLAD libraries

François Boulier
MAGIX@LIX, 2011, Palaiseau, France
Communication dans un congrès hal-00825861 v1
Image document

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-00603290 v1
Image document

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-00599440 v1
Image document

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-00492438 v2

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-00825859 v1

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-00842562 v1
Image document

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-00274689 v1
Image document

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-00213327 v2
Image document

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-00274685 v1
Image document

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-00139364 v1
Image document

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-00139667 v1
Image document

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-00137158 v1
Image document

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-00139354 v1
Image document

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-01182979 v1
Image document

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-00139177 v1
Image document

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-00139738 v1
Image document

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-00138020 v2
Image document

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-01367138 v2
Image document

The DenefLipshitz Algorithm - Software Demonstration Support

François Boulier
2025
Pré-publication, Document de travail hal-05030501 v1
Image document

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-02189597 v1
Image document

The Ritt-Raudenbush Theorem and Tropical Differential Geometry

François Boulier , Mercedes Haiech
2019
Pré-publication, Document de travail hal-02403365 v2
Image document

The Management of Parameters in the MAPLE DifferentialAlgebra Package

François Boulier
2018
Pré-publication, Document de travail hal-01825191 v1
Image document

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-00170091 v2
Image document

Computing differential characteristic sets by change of ordering

François Boulier , François Lemaire , Marc Moreno Maza
2007
Pré-publication, Document de travail hal-00141095 v2
Image document

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-00184558 v1
Image document

LEPISME

François Boulier , François Lemaire , Lilianne Denis-Vidal , Thibaut Henin
2005
Pré-publication, Document de travail hal-00140368 v1
Image document

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

François Boulier
2000
Pré-publication, Document de travail hal-00140006 v1
Image document

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-00139061 v1
Image document

É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-00137866 v1