François Boulier
57
Documents
Publications
|
On The Relationship Between Differential Algebra and Tropical Differential Algebraic GeometryComputer 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 PackageProceedings of the Maple Conference 2020, Nov 2020, Waterloo, Canada
Communication dans un congrès
hal-03167642v1
|
|
The Fundamental Theorem of Tropical Partial Differential Algebraic GeometryISSAC'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
|
|
|
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⟩
Communication dans un congrès
hal-01765409v2
|
On the Parameter Estimation Problem for Integro-Differential ModelsAADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain
Communication dans un congrès
hal-01780909v1
|
|
Identifiability, Integro-Differential Equations and Neurobiology. Talk AfternotesJourné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 ChainsComputer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118
Communication dans un congrès
hal-01234982v1
|
On the Integration of Differential FractionsDifferential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France
Communication dans un congrès
hal-00825862v1
|
|
On the integration of differential fractionsISSAC'13, 2013, Boston, United States. pp.1-8
Communication dans un congrès
hal-00825855v1
|
|
A Differential Algebra Package in SageAADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria
Communication dans un congrès
hal-00825118v1
|
|
The FreeMABSys project and the BLAD librariesMAGIX@LIX, 2011, Palaiseau, France
Communication dans un congrès
hal-00825861v1
|
|
|
Chemical Reaction Systems, Computer Algebra and Systems BiologyComputer Algebra and Scientific Computing, Sep 2011, Kassel, Germany
Communication dans un congrès
hal-00603290v1
|
|
On the Regularity Property of Differential Polynomials Modulo Regular Differential ChainsComputer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12
Communication dans un congrès
hal-00599440v1
|
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166
Communication dans un congrès
hal-00824995v1
|
|
|
Models of stochastic gene expression and Weyl algebraAlgebraic 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 biologyInternational 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 biochemistryInternational Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6
Communication dans un congrès
hal-00842562v1
|
|
|
Differential algebra and system modeling in cellular biologyAB 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 circuitsAB 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 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
Communication dans un congrès
hal-00274685v1
|
|
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⟩
Communication dans un congrès
hal-00139667v1
|
|
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
Communication dans un congrès
hal-00139364v1
|
|
Well known theorems on triangular systems and the D5 principleTransgressive Computing 2006, Apr 2006, France. pp.79-91
Communication dans un congrès
hal-00137158v1
|
|
PARDI !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 TheoryDiscrete 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 IdealsInternational 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 differentialsMEGA 2000, 2000, Bath, United Kingdom
Communication dans un congrès
hal-00139738v1
|
|
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⟩
Communication dans un congrès
hal-00138020v2
|
The SYMBIONT Project: Symbolic Methods for Biological NetworksISSAC 2018, Jul 2018, New York City, NY, United States
Poster de conférence
hal-02397143v1
|
Computer Algebra in Scientific ComputingSpringer 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, ProceedingsOuvrages hal-03329748v1 |
|
Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 ProceedingsOuvrages 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⟩
Chapitre d'ouvrage
hal-01367138v2
|
|
The SYMBIONT Project: Symbolic Methods for Biological Networks2018
Autre publication scientifique
hal-01889825v1
|
|
É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 : ⟩
Thèse
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
Cours
hal-02378197v2
|