François Boulier

Publications

Article dans une revue (11)

On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry Sebastian Falkensteiner,Cristhian Emmanuel Garay-Lopez,Mercedes Haiech,Marc Paul Noordman,François Boulieret al. Journal of Symbolic Computation, 2023, 115C, pp.53-73. ⟨10.1016/j.jsc.2022.08.005⟩ Article dans une revue hal-03122437v2
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
Foreword, with a Dedication to Vladimir Gerdt Matthew England,François Boulier,Timur Sadykov,Thomas Sturm Mathematics in Computer Science, 2021, 15 (3), pp.369 - 371. ⟨10.1007/s11786-021-00509-0⟩ Article dans une revue hal-03438175v1
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 Schuppertet al. ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩ Article dans une revue hal-02061018v1
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
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
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
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

Communication dans un congrès (29)

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
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
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
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry Sebastian Falkensteiner,Cristhian Emmanuel Garay-Lopez,Mercedes Haiech,Marc Paul Noordman,Zeinab Toghaniet 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
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling François Boulier,Hélène Castel,Nathalie Corson,Valentina Lanza,François Lemaireet 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èreet al. Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France Communication dans un congrès hal-01490268v1
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ı Grimaudet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (1)

The SYMBIONT Project: Symbolic Methods for Biological Networks François Boulier,Francois Fages,Ovidiu Radulescu,Satya Swarup Samal,Andreas Schuppertet al. ISSAC 2018, Jul 2018, New York City, NY, United States Poster de conférence hal-02397143v1

Ouvrages (3)

Computer Algebra in Scientific Computing François Boulier,Matthew England,Timur Sadykov,Evgenii Vorozhtsov Springer International Publishing, 13366, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-14788-3⟩ Ouvrages hal-03766942v1
Computer Algebra in Scientific Computing 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings François Boulier,Matthew England,Timur M. Sadykov,Evgenii V. Vorozhtsov 2021, ⟨10.1007/978-3-030-85165-1⟩ Ouvrages hal-03329748v1
Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 Proceedings François Boulier,Matthew England,Timur M. Sadykov,Evgenii V. Vorozhtsov 2020, ⟨10.1007/978-3-030-60026-6⟩ Ouvrages hal-02987197v1

Chapitre d'ouvrage (1)

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

Autre publication scientifique (1)

The SYMBIONT Project: Symbolic Methods for Biological Networks François Boulier,François Fages,Ovidiu Radulescu,Satya S Samal,Andreas Schuppertet al. 2018 Autre publication scientifique hal-01889825v1

Pré-publication, Document de travail (11)

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
The DenefLipshitz Algorithm - Software Demonstration Support François Boulier 2025 Pré-publication, Document de travail hal-05030501v2
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
The Ritt-Raudenbush Theorem and Tropical Differential Geometry François Boulier,Mercedes Haiech 2019 Pré-publication, Document de travail hal-02403365v2
The Management of Parameters in the MAPLE DifferentialAlgebra Package François Boulier 2018 Pré-publication, Document de travail hal-01825191v1
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
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
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
LEPISME François Boulier,Lilianne Denis-Vidal,Ghislaine Joly-Blanchard,François Lemaire 2005 Pré-publication, Document de travail hal-00140368v1
Triangularisation de systèmes de polynômes différentiels François Boulier 2000 Pré-publication, Document de travail hal-00140006v1
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

Thèse (1)

É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

HDR (1)

Réécriture algébrique dans les systèmes d'équations différentielles polynomiales en vue d'applications dans les Sciences du Vivant François Boulier Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006 HDR tel-00137153v1

Cours (1)

A Differential Algebra Introduction For Tropical Differential Geometry François Boulier Doctoral. United Kingdom. 2019 Cours hal-02378197v2