Access content directly

François Boulier

56
Documents

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
Journal of Symbolic Computation, 2023, 115C, pp.53-73. ⟨10.1016/j.jsc.2022.08.005⟩
Journal articles hal-03122437v2
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⟩
Journal articles hal-02464434v1
Image document

An Equivalence Theorem For Regular Differential Chains

François Boulier , François Lemaire , Adrien Poteaux , Marc Moreno Maza
Journal of Symbolic Computation, inPress, 93, pp.34-55. ⟨10.1016/j.jsc.2018.04.011⟩
Journal articles hal-01391768v3

The SYMBIONT project: symbolic methods for biological networks

François Boulier , François Fages , Ovidiu Radulescu , Satya Swarup Samal , Andreas Schuppert
ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩
Journal articles hal-02061018v1
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
Journal articles 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
Journal articles hal-01234977v1
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
Journal articles 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⟩
Journal articles hal-00824984v1
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⟩
Journal articles hal-00307915v2
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⟩
Journal articles hal-00820902v1
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
Conference papers 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
Conference papers hal-03167642v1

The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Sebastian Falkensteiner , Cristhian Emmanuel Garay-Lopez , Mercedes Haiech , Marc Paul Noordman , Zeinab Toghani
ISSAC 2020, Jul 2020, Kalamata, Greece. pp.178-185, ⟨10.1145/3373207.3404040⟩
Conference papers hal-02472809v1

On the Parameter Estimation Problem for Integro-Differential Models

François Boulier
AADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain
Conference papers hal-01780909v1
Image document

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

François Boulier , Hélène Castel , Nathalie Corson , Valentina Lanza , François Lemaire
CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. ⟨10.1007/978-3-319-99639-4_6⟩
Conference papers hal-01765409v2

Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes

François Boulier , François Lemaire , Adrien Poteaux , Alban Quadrat , Nathalie Verdière
Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France
Conference papers hal-01490268v1
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
Conference papers hal-01234982v1

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
Conference papers hal-00825855v1

On the Integration of Differential Fractions

François Boulier , François Lemaire
Differential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France
Conference papers hal-00825862v1

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
Conference papers hal-00825118v1
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
Conference papers hal-00603290v1
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
Conference papers hal-00599440v1

The FreeMABSys project and the BLAD libraries

François Boulier
MAGIX@LIX, 2011, Palaiseau, France
Conference papers hal-00825861v1

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
4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166
Conference papers hal-00824995v1
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
Conference papers 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
Conference papers 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
Conference papers hal-00825859v1
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
Conference papers hal-00274685v1
Image document

Differential algebra and system modeling in cellular biology

François Boulier , François Lemaire
AB 2008, 2008, Hagenberg, Austria. pp.22-39
Conference papers hal-00274689v1
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⟩
Conference papers hal-00213327v2
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⟩
Conference papers hal-00139667v1
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
Conference papers hal-00137158v1
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
Conference papers hal-00139364v1
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⟩
Conference papers hal-01182979v1
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⟩
Conference papers hal-00139354v1
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
Conference papers hal-00139738v1
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⟩
Conference papers hal-00139177v1
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⟩
Conference papers hal-00138020v2
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⟩
Book sections hal-01367138v2
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 : ⟩
Theses tel-00137866v1
Image document

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
Habilitation à diriger des recherches tel-00137153v1