François Boulier
56
Documents
Publications
|
On The Relationship Between Differential Algebra and Tropical Differential Algebraic GeometryComputer 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 PackageProceedings of the Maple Conference 2020, Nov 2020, Waterloo, Canada
Conference papers
hal-03167642v1
|
|
The Fundamental Theorem of Tropical Partial Differential Algebraic GeometryISSAC 2020, Jul 2020, Kalamata, Greece. pp.178-185, ⟨10.1145/3373207.3404040⟩
Conference papers
hal-02472809v1
|
|
On the Parameter Estimation Problem for Integro-Differential ModelsAADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain
Conference papers
hal-01780909v1
|
|
|
Symbolic-Numeric Methods for Nonlinear Integro-Differential ModelingCASC 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 AfternotesJournées Annuelles du GT BIOSS, Mar 2017, Montpellier, France
Conference papers
hal-01490268v1
|
|
|
Finding First Integrals Using Normal Forms Modulo Differential Regular ChainsComputer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118
Conference papers
hal-01234982v1
|
On the integration of differential fractionsISSAC'13, 2013, Boston, United States. pp.1-8
Conference papers
hal-00825855v1
|
|
On the Integration of Differential FractionsDifferential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France
Conference papers
hal-00825862v1
|
|
A Differential Algebra Package in SageAADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria
Conference papers
hal-00825118v1
|
|
|
Chemical Reaction Systems, Computer Algebra and Systems BiologyComputer Algebra and Scientific Computing, Sep 2011, Kassel, Germany
Conference papers
hal-00603290v1
|
|
On the Regularity Property of Differential Polynomials Modulo Regular Differential ChainsComputer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12
Conference papers
hal-00599440v1
|
The FreeMABSys project and the BLAD librariesMAGIX@LIX, 2011, Palaiseau, France
Conference papers
hal-00825861v1
|
|
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166
Conference papers
hal-00824995v1
|
|
|
Models of stochastic gene expression and Weyl algebraAlgebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97
Conference papers
hal-00492438v2
|
Differential Algebra and QSSA methods in biochemistryInternational 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 biologyInternational Conference in the Honor of Wu Wen-Tsun 90th birthday, 2009, China
Conference papers
hal-00825859v1
|
|
|
On the role of differential algebra in biological modelingDifferential 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
|
|
Differential algebra and system modeling in cellular biologyAB 2008, 2008, Hagenberg, Austria. pp.22-39
Conference papers
hal-00274689v1
|
|
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuitsAB 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
|
|
On proving the absence of oscillations in models of genetic circuitsSecond International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩
Conference papers
hal-00139667v1
|
|
Well known theorems on triangular systems and the D5 principleTransgressive Computing 2006, Apr 2006, France. pp.79-91
Conference papers
hal-00137158v1
|
|
Differential Elimination and Biological ModellingWorkshop D2.2 of the Special Semester on Gröbner Bases and Related Methods, May 2006, Hagenberg, Austria. pp.111-139
Conference papers
hal-00139364v1
|
|
Pseudo-Permutations II: Geometry and Representation TheoryDiscrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001, 2001, Paris, France. pp.123-132, ⟨10.46298/dmtcs.2299⟩
Conference papers
hal-01182979v1
|
|
PARDI !international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩
Conference papers
hal-00139354v1
|
|
Efficient computation of regular differential systems by change of rankings using Kähler differentialsMEGA 2000, 2000, Bath, United Kingdom
Conference papers
hal-00139738v1
|
|
Computing Canonical Representatives of Regular Differential IdealsInternational Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩
Conference papers
hal-00139177v1
|
|
Representation for the radical of a finitely generated differential idealinternational symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩
Conference papers
hal-00138020v2
|
The SYMBIONT Project: Symbolic Methods for Biological NetworksISSAC 2018, Jul 2018, New York City, NY, United States
Conference poster
hal-02397143v1
|
Computer Algebra in Scientific ComputingSpringer International Publishing, 13366, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-14788-3⟩
Books
hal-03766942v1
|
|
Computer Algebra in Scientific Computing 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, ProceedingsBooks hal-03329748v1 |
|
Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 ProceedingsBooks hal-02987197v1 |
|
On Symbolic Approaches to Integro-Differential EquationsAlban 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
|
|
The SYMBIONT Project: Symbolic Methods for Biological Networks2018
Other publications
hal-01889825v1
|
|
A Short Contribution to the Theory of Regular Chains2019
Preprints, Working Papers, ...
hal-02189597v1
|
|
The Ritt-Raudenbush Theorem and Tropical Differential Geometry2019
Preprints, Working Papers, ...
hal-02403365v2
|
|
The Management of Parameters in the MAPLE DifferentialAlgebra Package2018
Preprints, Working Papers, ...
hal-01825191v1
|
|
Computing differential characteristic sets by change of ordering2007
Preprints, Working Papers, ...
hal-00141095v2
|
|
A computer scientist point of view on Hilbert's differential theorem of zeros2007
Preprints, Working Papers, ...
hal-00170091v2
|
|
Model Reduction of Chemical Reaction Systems using Elimination2007
Preprints, Working Papers, ...
hal-00184558v1
|
|
LEPISME2005
Preprints, Working Papers, ...
hal-00140368v1
|
|
Triangularisation de systèmes de polynômes différentiels2000
Preprints, Working Papers, ...
hal-00140006v1
|
|
Computing representations for radicals of finitely generated differential ideals1999
Preprints, Working Papers, ...
hal-00139061v1
|
|
Étude et implantation de quelques algorithmes en algèbre différentielleModélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. ⟨NNT : ⟩
Theses
tel-00137866v1
|
|
Réécriture algébrique dans les systèmes d'équations différentielles
|
|
A Differential Algebra Introduction For Tropical Differential GeometryDoctoral. United Kingdom. 2019
Lectures
hal-02378197v2
|