default search action
François Boulier
Person information
- affiliation: LIFL Lille, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]François Boulier, François Lemaire:
On Formal Power Series Solutions of Regular Differential Chains. CASC 2024: 82-99 - [e5]François Boulier
, Chenqi Mou
Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings. Lecture Notes in Computer Science 14938, Springer 2024, ISBN 978-3-031-69069-3 [contents] - 2023
- [j15]Sebastian Falkensteiner
On initials and the fundamental theorem of tropical partial differential algebraic geometry. J. Symb. Comput. 115: 53-73 (2023) - [j14]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword. Math. Comput. Sci. 17(3): 22 (2023) - [e4]François Boulier
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 [contents] - 2022
- [j13]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword. Math. Comput. Sci. 16(2-3): 16 (2022) - [e3]François Boulier
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13366, Springer 2022, ISBN 978-3-031-14787-6 [contents] - 2021
- [j12]François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux:
A Short Contribution to the Theory of Regular Chains. Math. Comput. Sci. 15(2): 177-188 (2021) - [j11]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword, with a Dedication to Vladimir Gerdt. Math. Comput. Sci. 15(3): 369-371 (2021) - [c20]François Boulier, Sebastian Falkensteiner
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. CASC 2021: 62-77 - [e2]François Boulier
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings. Lecture Notes in Computer Science 12865, Springer 2021, ISBN 978-3-030-85164-4 [contents] - [i3]François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra:
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. CoRR abs/2103.03646 (2021) - 2020
- [c19]Sebastian Falkensteiner
The fundamental theorem of tropical partial differential algebraic geometry. ISSAC 2020: 178-185 - [c18]François Boulier, José Cano, Sebastian Falkensteiner
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. MC 2020: 89-103 - [e1]François Boulier
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12291, Springer 2020, ISBN 978-3-030-60025-9 [contents] - [i2]Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier:
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. CoRR abs/2002.03041 (2020)
2010 – 2019
- 2019
- [j10]François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza:
An equivalence theorem for regular differential chains. J. Symb. Comput. 93: 34-55 (2019) - 2018
- [j9]François Boulier, François Fages, Ovidiu Radulescu
The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52(3): 67-70 (2018) - [c17]François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière:
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. CASC 2018: 82-98 - 2016
- [j8]François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77: 16-38 (2016) - 2015
- [j7]François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski
Qualitative investigation of a gene model using computer algebra algorithms. Program. Comput. Softw. 41(2): 105-111 (2015) - [c16]François Boulier, François Lemaire:
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. CASC 2015: 101-118 - 2014
- [c15]François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira:
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. CASC 2014: 28-43 - 2013
- [c14]François Boulier, François Lemaire, Georg Regensburger
On the integration of differential fractions. ISSAC 2013: 101-108 - 2012
- [i1]François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber:
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). Dagstuhl Reports 2(11): 66-86 (2012) - 2011
- [j6]François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination. Math. Comput. Sci. 5(3): 289-301 (2011) - [c13]François Boulier, François Lemaire, Alexandre Sedoglavic
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. CASC 2011: 61-72 - [c12]François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). CASC 2011: 73-87 - 2010
- [j5]François Boulier, François Lemaire, Marc Moreno Maza:
Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45(1): 124-149 (2010) - [j4]François Boulier, François Lemaire:
A Normal Form Algorithm for Regular Differential Chains. Math. Comput. Sci. 4(2-3): 185-201 (2010) - [c11]Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler:
Models of Stochastic Gene Expression and Weyl Algebra. ANB 2010: 76-97 - [c10]Masahiko Nakatsui, Alexandre Sedoglavic
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. ANB 2010: 149-166
2000 – 2009
- 2009
- [j3]François Boulier:
Foreword to the article: Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Eng. Commun. Comput. 20(1): 5-6 (2009) - [j2]François Boulier, Daniel Lazard, François Ollivier, Michel Petitot:
Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Eng. Commun. Comput. 20(1): 73-121 (2009) - [j1]François Boulier, François Lemaire, Alexandre Sedoglavic
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. Math. Comput. Sci. 2(3): 443-464 (2009) - [c9]François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza:
Real Root Isolation of Regular Chains. ASCM 2009: 33-48 - 2008
- [c8]François Boulier, François Lemaire:
Differential Algebra and System Modeling in Cellular Biology. AB 2008: 22-39 - [c7]François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. AB 2008: 56-64 - 2007
- [c6]François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü:
On Proving the Absence of Oscillations in Models of Genetic Circuits. AB 2007: 66-80 - 2006
- [b2]François Boulier:
Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant. (Algebraic rewriting in systems of polynomial differential equations with a view towards applications in life sciences). Lille University of Science and Technology, France, 2006 - 2001
- [c5]François Boulier, Sylvain Neut:
Cartan's Characters and Stairs of Characteristic Sets. AAECC 2001: 363-372 - [c4]François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli:
Pseudo-Permutations II: Geometry and Representation Theory. DM-CCG 2001: 123-132 - [c3]François Boulier, François Lemaire, Marc Moreno Maza:
PARDI!. ISSAC 2001: 38-47 - 2000
- [c2]François Boulier, François Lemaire:
Computing canonical representatives of regular differential ideals. ISSAC 2000: 38-47
1990 – 1999
- 1995
- [c1]François Boulier, Daniel Lazard, François Ollivier, Michel Petitot:
Representation for the Radical of a Finitely Generated Differential Ideal. ISSAC 1995: 158-166 - 1994
- [b1]François Boulier:
Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra). Lille University of Science and Technology, France, 1994
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: