François Boulier
Professeur des universités
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Contact
francois.boulier[chez]univ-lille[point].fr
+33 3 28 77 8449
Cité Scientifique, 59655 Villeneuve d'Ascq, Bâtiment Esprit, bureau S3.17
Publications
{
"response":{
"numFound":60,
"start":0,
"numFoundExact":true,
"docs":[{
"citationRef_s":"<i>Computer Algebra in Scientific Computing (CASC) 26th International Workshop</i>, Sep 2024, Rennes, France. pp.82-99, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-69070-9_6\">⟨10.1007/978-3-031-69070-9_6⟩</a>",
"citationFull_s":"François Boulier, François Lemaire. On Formal Power Series Solutions of Regular Differential Chains. <i>Computer Algebra in Scientific Computing (CASC) 26th International Workshop</i>, Sep 2024, Rennes, France. pp.82-99, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-69070-9_6\">⟨10.1007/978-3-031-69070-9_6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04547418v3\">⟨hal-04547418v3⟩</a>",
"title_s":["On Formal Power Series Solutions of Regular Differential Chains"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-04547418",
"docType_s":"COMM",
"producedDateY_i":2024
},{
"citationRef_s":"<i>Computer Algebra in Scientific Computing</i>, 14938, Springer Nature Switzerland, 2024, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-69070-9\">⟨10.1007/978-3-031-69070-9⟩</a>",
"citationFull_s":"François Boulier, Chenqi Mou, Timur Sadykov, Evgenii Vorozhtsov. Computer Algebra in Scientific Computing. <i>Computer Algebra in Scientific Computing</i>, 14938, Springer Nature Switzerland, 2024, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-69070-9\">⟨10.1007/978-3-031-69070-9⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04682380v1\">⟨hal-04682380⟩</a>",
"title_s":["Computer Algebra in Scientific Computing"],
"authFullName_s":["François Boulier","Chenqi Mou","Timur Sadykov","Evgenii Vorozhtsov"],
"halId_s":"hal-04682380",
"docType_s":"PROCEEDINGS",
"producedDateY_i":2024
},{
"citationRef_s":"2023, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:ea3c6a03eeeb845337f5533e1def229d602ceb48;origin=https://hal.archives-ouvertes.fr/hal-04391259;visit=swh:1:snp:6c59f29ff96dc65a1e97ed40f56422bd9d9b0a34;anchor=swh:1:rel:9ee668d51c061cdb54e2729ea2bfc09466fbef44;path=/\">⟨swh:1:dir:ea3c6a03eeeb845337f5533e1def229d602ceb48;origin=https://hal.archives-ouvertes.fr/hal-04391259;visit=swh:1:snp:6c59f29ff96dc65a1e97ed40f56422bd9d9b0a34;anchor=swh:1:rel:9ee668d51c061cdb54e2729ea2bfc09466fbef44;path=/⟩</a>",
"citationFull_s":"François Boulier. DifferentialAlgebra. 2023, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:ea3c6a03eeeb845337f5533e1def229d602ceb48;origin=https://hal.archives-ouvertes.fr/hal-04391259;visit=swh:1:snp:6c59f29ff96dc65a1e97ed40f56422bd9d9b0a34;anchor=swh:1:rel:9ee668d51c061cdb54e2729ea2bfc09466fbef44;path=/\">⟨swh:1:dir:ea3c6a03eeeb845337f5533e1def229d602ceb48;origin=https://hal.archives-ouvertes.fr/hal-04391259;visit=swh:1:snp:6c59f29ff96dc65a1e97ed40f56422bd9d9b0a34;anchor=swh:1:rel:9ee668d51c061cdb54e2729ea2bfc09466fbef44;path=/⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04391259v2\">⟨hal-04391259v2⟩</a>",
"title_s":["DifferentialAlgebra"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-04391259",
"docType_s":"SOFTWARE",
"producedDateY_i":2023
},{
"citationRef_s":"14139, Springer Nature Switzerland; Springer Nature Switzerland, 2023, proceedings computer algebra in scientific computing, 978-3-031-41723-8. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-41724-5\">⟨10.1007/978-3-031-41724-5⟩</a>",
"citationFull_s":"François Boulier, Matthew England, Ilias Kotsireas, Timur Sadykov, Evgenii Vorozhtsov. Proceedings of Computer Algebra in Scientific Computing (CASC) 2023. 14139, Springer Nature Switzerland; Springer Nature Switzerland, 2023, proceedings computer algebra in scientific computing, 978-3-031-41723-8. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-41724-5\">⟨10.1007/978-3-031-41724-5⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04200036v1\">⟨hal-04200036⟩</a>",
"title_s":["Proceedings of Computer Algebra in Scientific Computing (CASC) 2023"],
"authFullName_s":["François Boulier","Matthew England","Ilias Kotsireas","Timur Sadykov","Evgenii Vorozhtsov"],
"halId_s":"hal-04200036",
"docType_s":"PROCEEDINGS",
"producedDateY_i":2023
},{
"citationRef_s":"<i>Journal of Symbolic Computation</i>, 2023, 115C, pp.53-73. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2022.08.005\">⟨10.1016/j.jsc.2022.08.005⟩</a>",
"citationFull_s":"Sebastian Falkensteiner, Cristhian Emmanuel Garay-Lopez, Mercedes Haiech, Marc Paul Noordman, François Boulier, et al.. On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry. <i>Journal of Symbolic Computation</i>, 2023, 115C, pp.53-73. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2022.08.005\">⟨10.1016/j.jsc.2022.08.005⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03122437v2\">⟨hal-03122437v2⟩</a>",
"title_s":["On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry","Sur les Initiaux et le Théorème Fondamental de la Géométrie Différentielle Tropicale Partielle"],
"authFullName_s":["Sebastian Falkensteiner","Cristhian Emmanuel Garay-Lopez","Mercedes Haiech","Marc Paul Noordman","François Boulier","Zeinab Toghani"],
"halId_s":"hal-03122437",
"docType_s":"ART",
"producedDateY_i":2023
},{
"citationRef_s":"Springer International Publishing, 13366, 2022, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-14788-3\">⟨10.1007/978-3-031-14788-3⟩</a>",
"citationFull_s":"François Boulier, Matthew England, Timur Sadykov, Evgenii Vorozhtsov. Computer Algebra in Scientific Computing. Springer International Publishing, 13366, 2022, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-14788-3\">⟨10.1007/978-3-031-14788-3⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03766942v1\">⟨hal-03766942⟩</a>",
"title_s":["Computer Algebra in Scientific Computing"],
"authFullName_s":["François Boulier","Matthew England","Timur Sadykov","Evgenii Vorozhtsov"],
"halId_s":"hal-03766942",
"docType_s":"OUV",
"producedDateY_i":2022
},{
"citationRef_s":"<i>Computer Algebra in Scientific Computing</i>, Sep 2021, Sochi, Russia. pp.62-77",
"citationFull_s":"François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar Leon Sanchez. On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. <i>Computer Algebra in Scientific Computing</i>, Sep 2021, Sochi, Russia. pp.62-77. <a target=\"_blank\" href=\"https://hal.science/hal-03225922v2\">⟨hal-03225922v2⟩</a>",
"title_s":["On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry"],
"authFullName_s":["François Boulier","Sebastian Falkensteiner","Marc Paul Noordman","Omar Leon Sanchez"],
"halId_s":"hal-03225922",
"docType_s":"COMM",
"producedDateY_i":2021
},{
"citationRef_s":"2021, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-85165-1\">⟨10.1007/978-3-030-85165-1⟩</a>",
"citationFull_s":"François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing\r\n23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 2021, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-85165-1\">⟨10.1007/978-3-030-85165-1⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03329748v1\">⟨hal-03329748⟩</a>",
"title_s":["Computer Algebra in Scientific Computing 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings"],
"authFullName_s":["François Boulier","Matthew England","Timur M. Sadykov","Evgenii V. Vorozhtsov"],
"halId_s":"hal-03329748",
"docType_s":"OUV",
"producedDateY_i":2021
},{
"citationRef_s":"<i>Mathematics in Computer Science</i>, 2021, 15 (2), pp.177-188. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11786-020-00477-x\">⟨10.1007/s11786-020-00477-x⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. <i>Mathematics in Computer Science</i>, 2021, 15 (2), pp.177-188. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11786-020-00477-x\">⟨10.1007/s11786-020-00477-x⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02464434v1\">⟨hal-02464434⟩</a>",
"title_s":["A Short Contribution to the Theory of Regular Chains"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza","Adrien Poteaux"],
"halId_s":"hal-02464434",
"docType_s":"ART",
"producedDateY_i":2021
},{
"citationRef_s":"<i>Proceedings of the Maple Conference 2020</i>, Nov 2020, Waterloo, Canada",
"citationFull_s":"François Boulier, Jose Cano, Sebastian Falkensteiner, Rafael Sendra. Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package. <i>Proceedings of the Maple Conference 2020</i>, Nov 2020, Waterloo, Canada. <a target=\"_blank\" href=\"https://hal.science/hal-03167642v1\">⟨hal-03167642⟩</a>",
"title_s":["Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package"],
"authFullName_s":["François Boulier","Jose Cano","Sebastian Falkensteiner","Rafael Sendra"],
"halId_s":"hal-03167642",
"docType_s":"COMM",
"producedDateY_i":2020
},{
"citationRef_s":"2020, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-60026-6\">⟨10.1007/978-3-030-60026-6⟩</a>",
"citationFull_s":"François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 Proceedings. 2020, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-60026-6\">⟨10.1007/978-3-030-60026-6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02987197v1\">⟨hal-02987197⟩</a>",
"title_s":["Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 Proceedings"],
"authFullName_s":["François Boulier","Matthew England","Timur M. Sadykov","Evgenii V. Vorozhtsov"],
"halId_s":"hal-02987197",
"docType_s":"OUV",
"producedDateY_i":2020
},{
"citationRef_s":"<i>ISSAC'20 : International Symposium on Symbolic and Algebraic Computation 2020</i>, Jul 2020, Kalamata, Greece. pp.178-185, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3373207.3404040\">⟨10.1145/3373207.3404040⟩</a>",
"citationFull_s":"Sebastian Falkensteiner, Cristhian Emmanuel Garay-Lopez, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, et al.. The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. <i>ISSAC'20 : International Symposium on Symbolic and Algebraic Computation 2020</i>, Jul 2020, Kalamata, Greece. pp.178-185, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3373207.3404040\">⟨10.1145/3373207.3404040⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02472809v1\">⟨hal-02472809⟩</a>",
"title_s":["The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry"],
"authFullName_s":["Sebastian Falkensteiner","Cristhian Emmanuel Garay-Lopez","Mercedes Haiech","Marc Paul Noordman","Zeinab Toghani","François Boulier"],
"halId_s":"hal-02472809",
"docType_s":"COMM",
"producedDateY_i":2020
},{
"citationRef_s":"Alban Quadrat; Eva Zerz. <i>Algebraic and Symbolic Computation Methods in Dynamical Systems</i>, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-38356-5_6\">⟨10.1007/978-3-030-38356-5_6⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Markus Rosenkranz, Rosane Ushirobira, Nathalie Verdière. On Symbolic Approaches to Integro-Differential Equations. Alban Quadrat; Eva Zerz. <i>Algebraic and Symbolic Computation Methods in Dynamical Systems</i>, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-38356-5_6\">⟨10.1007/978-3-030-38356-5_6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01367138v2\">⟨hal-01367138v2⟩</a>",
"title_s":["On Symbolic Approaches to Integro-Differential Equations","Au Sujet des Approches Symboliques des Équations Intégro-Différentielles"],
"authFullName_s":["François Boulier","François Lemaire","Markus Rosenkranz","Rosane Ushirobira","Nathalie Verdière"],
"halId_s":"hal-01367138",
"docType_s":"COUV",
"producedDateY_i":2020
},{
"citationRef_s":"2019",
"citationFull_s":"François Boulier, Mercedes Haiech. The Ritt-Raudenbush Theorem and Tropical Differential Geometry. 2019. <a target=\"_blank\" href=\"https://hal.science/hal-02403365v2\">⟨hal-02403365v2⟩</a>",
"title_s":["The Ritt-Raudenbush Theorem and Tropical Differential Geometry"],
"authFullName_s":["François Boulier","Mercedes Haiech"],
"halId_s":"hal-02403365",
"docType_s":"UNDEFINED",
"producedDateY_i":2019
},{
"citationRef_s":"Doctoral. United Kingdom. 2019",
"citationFull_s":"François Boulier. A Differential Algebra Introduction For Tropical Differential Geometry. Doctoral. United Kingdom. 2019. <a target=\"_blank\" href=\"https://hal.science/hal-02378197v2\">⟨hal-02378197v2⟩</a>",
"title_s":["A Differential Algebra Introduction For Tropical Differential Geometry"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-02378197",
"docType_s":"LECTURE",
"producedDateY_i":2019
},{
"citationRef_s":"2019",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. 2019. <a target=\"_blank\" href=\"https://hal.science/hal-02189597v1\">⟨hal-02189597⟩</a>",
"title_s":["A Short Contribution to the Theory of Regular Chains"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza","Adrien Poteaux"],
"halId_s":"hal-02189597",
"docType_s":"UNDEFINED",
"producedDateY_i":2019
},{
"citationRef_s":"<i>Journal of Symbolic Computation</i>, In press, 93, pp.34-55. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2018.04.011\">⟨10.1016/j.jsc.2018.04.011⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. <i>Journal of Symbolic Computation</i>, In press, 93, pp.34-55. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2018.04.011\">⟨10.1016/j.jsc.2018.04.011⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01391768v3\">⟨hal-01391768v3⟩</a>",
"title_s":["An Equivalence Theorem For Regular Differential Chains"],
"authFullName_s":["François Boulier","François Lemaire","Adrien Poteaux","Marc Moreno Maza"],
"halId_s":"hal-01391768",
"docType_s":"ART",
"producedDateY_i":2019
},{
"citationRef_s":"<i>CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing</i>, Sep 2018, Lille, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-99639-4_6\">⟨10.1007/978-3-319-99639-4_6⟩</a>",
"citationFull_s":"François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, et al.. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. <i>CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing</i>, Sep 2018, Lille, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-99639-4_6\">⟨10.1007/978-3-319-99639-4_6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01765409v2\">⟨hal-01765409v2⟩</a>",
"title_s":["Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling"],
"authFullName_s":["François Boulier","Hélène Castel","Nathalie Corson","Valentina Lanza","François Lemaire","Adrien Poteaux","Alban Quadrat","Nathalie Verdière"],
"halId_s":"hal-01765409",
"docType_s":"COMM",
"producedDateY_i":2018
},{
"citationRef_s":"<i>ACM Communications in Computer Algebra</i>, 2018, 52 (3), pp.67-70. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3313880.3313885\">⟨10.1145/3313880.3313885⟩</a>",
"citationFull_s":"François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, et al.. The SYMBIONT project: symbolic methods for biological networks. <i>ACM Communications in Computer Algebra</i>, 2018, 52 (3), pp.67-70. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3313880.3313885\">⟨10.1145/3313880.3313885⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-02061018v1\">⟨hal-02061018⟩</a>",
"title_s":["The SYMBIONT project: symbolic methods for biological networks"],
"authFullName_s":["François Boulier","François Fages","Ovidiu Radulescu","Satya Swarup Samal","Andreas Schuppert","Werner M. Seiler","Thomas Sturm","Sebastian Walcher","Andreas Weber"],
"halId_s":"hal-02061018",
"docType_s":"ART",
"producedDateY_i":2018
},{
"citationRef_s":"2018",
"citationFull_s":"François Boulier, François Fages, Ovidiu Radulescu, Satya S Samal, Andreas Schuppert, et al.. The SYMBIONT Project: Symbolic Methods for Biological Networks. 2018. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01889825v1\">⟨hal-01889825⟩</a>",
"title_s":["The SYMBIONT Project: Symbolic Methods for Biological Networks"],
"authFullName_s":["François Boulier","François Fages","Ovidiu Radulescu","Satya S Samal","Andreas Schuppert","Werner M. Seiler","Thomas Sturm","Sebastian Walcher","Andreas Weber"],
"halId_s":"hal-01889825",
"docType_s":"OTHER",
"producedDateY_i":2018
},{
"citationRef_s":"<i>ISSAC 2018</i>, Jul 2018, New York City, NY, United States",
"citationFull_s":"François Boulier, Francois Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, et al.. The SYMBIONT Project: Symbolic Methods for Biological Networks. <i>ISSAC 2018</i>, Jul 2018, New York City, NY, United States. <a target=\"_blank\" href=\"https://inria.hal.science/hal-02397143v1\">⟨hal-02397143⟩</a>",
"title_s":["The SYMBIONT Project: Symbolic Methods for Biological Networks"],
"authFullName_s":["François Boulier","Francois Fages","Ovidiu Radulescu","Satya Swarup Samal","Andreas Schuppert","Werner Seiler","Thomas Sturm","Sebastian Walcher","Andreas Weber"],
"halId_s":"hal-02397143",
"docType_s":"POSTER",
"producedDateY_i":2018
},{
"citationRef_s":"2018",
"citationFull_s":"François Boulier. The Management of Parameters in the MAPLE DifferentialAlgebra Package. 2018. <a target=\"_blank\" href=\"https://hal.science/hal-01825191v1\">⟨hal-01825191⟩</a>",
"title_s":["The Management of Parameters in the MAPLE DifferentialAlgebra Package"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-01825191",
"docType_s":"UNDEFINED",
"producedDateY_i":2018
},{
"citationRef_s":"<i>AADIOS @ ACA 2018</i>, Jun 2018, Santiago de Compostela, Spain",
"citationFull_s":"François Boulier. On the Parameter Estimation Problem for Integro-Differential Models. <i>AADIOS @ ACA 2018</i>, Jun 2018, Santiago de Compostela, Spain. <a target=\"_blank\" href=\"https://hal.science/hal-01780909v1\">⟨hal-01780909⟩</a>",
"title_s":["On the Parameter Estimation Problem for Integro-Differential Models"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-01780909",
"docType_s":"COMM",
"producedDateY_i":2018
},{
"citationRef_s":"<i>Journées Annuelles du GT BIOSS</i>, Mar 2017, Montpellier, France",
"citationFull_s":"François Boulier, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière, et al.. Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes. <i>Journées Annuelles du GT BIOSS</i>, Mar 2017, Montpellier, France. <a target=\"_blank\" href=\"https://hal.science/hal-01490268v1\">⟨hal-01490268⟩</a>",
"title_s":["Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes","Identifiabilité, Équations Intégro-Différentielles et Neurobiologue. Notes Après Exposé"],
"authFullName_s":["François Boulier","François Lemaire","Adrien Poteaux","Alban Quadrat","Nathalie Verdière","Nathalie Corson","Valentina Lanza","Hélène Castel","Pierrick Gandolfo","Vincent Compère","Emmanuel Gérardin"],
"halId_s":"hal-01490268",
"docType_s":"COMM",
"producedDateY_i":2017
},{
"citationRef_s":"<i>Journal of Symbolic Computation</i>, 2016",
"citationFull_s":"François Boulier, Joseph Lallemand, François Lemaire, Georg Regensburger, Markus Rosenkranz. Additive Normal Forms and Integration of Differential Fractions. <i>Journal of Symbolic Computation</i>, 2016. <a target=\"_blank\" href=\"https://hal.science/hal-01245378v1\">⟨hal-01245378⟩</a>",
"title_s":["Additive Normal Forms and Integration of Differential Fractions"],
"authFullName_s":["François Boulier","Joseph Lallemand","François Lemaire","Georg Regensburger","Markus Rosenkranz"],
"halId_s":"hal-01245378",
"docType_s":"ART",
"producedDateY_i":2016
},{
"citationRef_s":"<i>Computer Algebra in Scientific Computing 2015</i>, Sep 2015, Aachen, Germany. pp.101-118",
"citationFull_s":"François Boulier, François Lemaire. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. <i>Computer Algebra in Scientific Computing 2015</i>, Sep 2015, Aachen, Germany. pp.101-118. <a target=\"_blank\" href=\"https://hal.science/hal-01234982v1\">⟨hal-01234982⟩</a>",
"title_s":["Finding First Integrals Using Normal Forms Modulo Differential Regular Chains"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-01234982",
"docType_s":"COMM",
"producedDateY_i":2015
},{
"citationRef_s":"<i>Programming and Computer Software</i>, 2015, 41 (2), pp.105-111",
"citationFull_s":"François Boulier, François Lemaire, Valery G. Romanovski, M. Han. Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms. <i>Programming and Computer Software</i>, 2015, 41 (2), pp.105-111. <a target=\"_blank\" href=\"https://hal.science/hal-01234977v1\">⟨hal-01234977⟩</a>",
"title_s":["Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms"],
"authFullName_s":["François Boulier","François Lemaire","Valery G. Romanovski","M. Han"],
"halId_s":"hal-01234977",
"docType_s":"ART",
"producedDateY_i":2015
},{
"citationRef_s":"<i>Differential Algebra and Related Topics V</i>, 2013, Villeneuve d'Ascq, France",
"citationFull_s":"François Boulier, François Lemaire. On the Integration of Differential Fractions. <i>Differential Algebra and Related Topics V</i>, 2013, Villeneuve d'Ascq, France. <a target=\"_blank\" href=\"https://hal.science/hal-00825862v1\">⟨hal-00825862⟩</a>",
"title_s":["On the Integration of Differential Fractions"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-00825862",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"<i>ISSAC'13</i>, 2013, Boston, United States. pp.1-8",
"citationFull_s":"François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz. On the integration of differential fractions. <i>ISSAC'13</i>, 2013, Boston, United States. pp.1-8. <a target=\"_blank\" href=\"https://hal.science/hal-00825855v1\">⟨hal-00825855⟩</a>",
"title_s":["On the integration of differential fractions"],
"authFullName_s":["François Boulier","François Lemaire","Georg Regensburger","Markus Rosenkranz"],
"halId_s":"hal-00825855",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"<i>AADIOS session in the Applications of Computer Algebra Conference</i>, 2012, Sofia, Bulgaria",
"citationFull_s":"François Boulier, Nicolas M. Thiéry. A Differential Algebra Package in Sage. <i>AADIOS session in the Applications of Computer Algebra Conference</i>, 2012, Sofia, Bulgaria. <a target=\"_blank\" href=\"https://hal.science/hal-00825118v1\">⟨hal-00825118⟩</a>",
"title_s":["A Differential Algebra Package in Sage"],
"authFullName_s":["François Boulier","Nicolas M. Thiéry"],
"halId_s":"hal-00825118",
"docType_s":"COMM",
"producedDateY_i":2012
},{
"citationRef_s":"<i>Computer Algebra and Scientific Computing</i>, Sep 2011, Kassel, Germany",
"citationFull_s":"François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. <i>Computer Algebra and Scientific Computing</i>, Sep 2011, Kassel, Germany. <a target=\"_blank\" href=\"https://hal.science/hal-00603290v1\">⟨hal-00603290⟩</a>",
"title_s":["Chemical Reaction Systems, Computer Algebra and Systems Biology"],
"authFullName_s":["François Boulier","François Lemaire","Michel Petitot","Alexandre Sedoglavic"],
"halId_s":"hal-00603290",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>Computer Algebra in Scientific Computings</i>, Sep 2011, Kassel, Germany. pp.1-12",
"citationFull_s":"François Boulier, François Lemaire, Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. <i>Computer Algebra in Scientific Computings</i>, Sep 2011, Kassel, Germany. pp.1-12. <a target=\"_blank\" href=\"https://hal.science/hal-00599440v1\">⟨hal-00599440⟩</a>",
"title_s":["On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains"],
"authFullName_s":["François Boulier","François Lemaire","Alexandre Sedoglavic"],
"halId_s":"hal-00599440",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>Mathematics in Computer Science</i>, 2011, 5, pp.289-301",
"citationFull_s":"François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. <i>Mathematics in Computer Science</i>, 2011, 5, pp.289-301. <a target=\"_blank\" href=\"https://hal.science/hal-00824993v1\">⟨hal-00824993⟩</a>",
"title_s":["Model Reduction of Chemical Reaction Systems using Elimination"],
"authFullName_s":["François Boulier","Marc Lefranc","François Lemaire","Pierre-Emmanuel Morant"],
"halId_s":"hal-00824993",
"docType_s":"ART",
"producedDateY_i":2011
},{
"citationRef_s":"<i>MAGIX@LIX</i>, 2011, Palaiseau, France",
"citationFull_s":"François Boulier. The FreeMABSys project and the BLAD libraries. <i>MAGIX@LIX</i>, 2011, Palaiseau, France. <a target=\"_blank\" href=\"https://hal.science/hal-00825861v1\">⟨hal-00825861⟩</a>",
"title_s":["The FreeMABSys project and the BLAD libraries"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00825861",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>Algebraic and Numeric Biology (ANB 2010)</i>, Jul 2010, Hagenberg, Austria. pp.76-97",
"citationFull_s":"Samuel Alexandre Vidal, Michel Petitot, François Boulier, François Lemaire, Celine Kuttler. Models of stochastic gene expression and Weyl algebra. <i>Algebraic and Numeric Biology (ANB 2010)</i>, Jul 2010, Hagenberg, Austria. pp.76-97. <a target=\"_blank\" href=\"https://hal.science/hal-00492438v2\">⟨hal-00492438v2⟩</a>",
"title_s":["Models of stochastic gene expression and Weyl algebra"],
"authFullName_s":["Samuel Alexandre Vidal","Michel Petitot","François Boulier","François Lemaire","Celine Kuttler"],
"halId_s":"hal-00492438",
"docType_s":"COMM",
"producedDateY_i":2010
},{
"citationRef_s":"<i>4th International Conference, ANB 2010</i>, 2010, Hagenberg, Austria. pp.149-166",
"citationFull_s":"Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Aslı Grimaud, et al.. A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. <i>4th International Conference, ANB 2010</i>, 2010, Hagenberg, Austria. pp.149-166. <a target=\"_blank\" href=\"https://hal.science/hal-00824995v1\">⟨hal-00824995⟩</a>",
"title_s":["A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors"],
"authFullName_s":["Masahiko Nakatsui","Alexandre Sedoglavic","François Lemaire","François Boulier","Aslı Grimaud","Katsuihisa Horimoto"],
"halId_s":"hal-00824995",
"docType_s":"COMM",
"producedDateY_i":2010
},{
"citationRef_s":"<i>Journal of Symbolic Computation</i>, 2010, 45, pp.124-149. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2009.09.004\">⟨10.1016/j.jsc.2009.09.004⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza. Computing Differential Characteristic Sets by Change of Ordering. <i>Journal of Symbolic Computation</i>, 2010, 45, pp.124-149. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jsc.2009.09.004\">⟨10.1016/j.jsc.2009.09.004⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00824984v1\">⟨hal-00824984⟩</a>",
"title_s":["Computing Differential Characteristic Sets by Change of Ordering"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza"],
"halId_s":"hal-00824984",
"docType_s":"ART",
"producedDateY_i":2010
},{
"citationRef_s":"<i>International Federation of Automatic Control (IFAC)</i>, Jun 2009, Saint-Malo, France. pp.1-6",
"citationFull_s":"François Boulier, François Lemaire. Differential Algebra and QSSA methods in biochemistry. <i>International Federation of Automatic Control (IFAC)</i>, Jun 2009, Saint-Malo, France. pp.1-6. <a target=\"_blank\" href=\"https://hal.science/hal-00842562v1\">⟨hal-00842562⟩</a>",
"title_s":["Differential Algebra and QSSA methods in biochemistry"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-00842562",
"docType_s":"COMM",
"producedDateY_i":2009
},{
"citationRef_s":"<i>Applicable Algebra in Engineering, Communication and Computing</i>, 2009, 20 (1), pp.73-121. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s00200-009-0091-7\">⟨10.1007/s00200-009-0091-7⟩</a>",
"citationFull_s":"François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. <i>Applicable Algebra in Engineering, Communication and Computing</i>, 2009, 20 (1), pp.73-121. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s00200-009-0091-7\">⟨10.1007/s00200-009-0091-7⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00820902v1\">⟨hal-00820902⟩</a>",
"title_s":["Computing representations for radicals of finitely generated differential ideals"],
"authFullName_s":["François Boulier","Daniel Lazard","François Ollivier","Michel Petitot"],
"halId_s":"hal-00820902",
"docType_s":"ART",
"producedDateY_i":2009
},{
"citationRef_s":"<i>Mathematics in Computer Science</i>, 2009, 2 (3), pp.443-464. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11786-008-0062-6\">⟨10.1007/s11786-008-0062-6⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Alexandre Sedoglavic, Aslı Grimaud. Towards an automated reduction method for polynomial ODE models in cellular biology. <i>Mathematics in Computer Science</i>, 2009, 2 (3), pp.443-464. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11786-008-0062-6\">⟨10.1007/s11786-008-0062-6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00307915v2\">⟨hal-00307915v2⟩</a>",
"title_s":["Towards an automated reduction method for polynomial ODE models in cellular biology"],
"authFullName_s":["François Boulier","François Lemaire","Alexandre Sedoglavic","Aslı Grimaud"],
"halId_s":"hal-00307915",
"docType_s":"ART",
"producedDateY_i":2009
},{
"citationRef_s":"<i>International Conference in the Honor of Wu Wen-Tsun 90th birthday</i>, 2009, China",
"citationFull_s":"François Boulier. On applications of differential elimination to modeling problems in biology. <i>International Conference in the Honor of Wu Wen-Tsun 90th birthday</i>, 2009, China. <a target=\"_blank\" href=\"https://hal.science/hal-00825859v1\">⟨hal-00825859⟩</a>",
"title_s":["On applications of differential elimination to modeling problems in biology"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00825859",
"docType_s":"COMM",
"producedDateY_i":2009
},{
"citationRef_s":"<i>AB 2008 - Third International Conference Algebraic Biology</i>, Jul 2008, Hagenberg, Austria. pp.56-64, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-85101-1_5\">⟨10.1007/978-3-540-85101-1_5⟩</a>",
"citationFull_s":"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. <i>AB 2008 - Third International Conference Algebraic Biology</i>, Jul 2008, Hagenberg, Austria. pp.56-64, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-85101-1_5\">⟨10.1007/978-3-540-85101-1_5⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00213327v2\">⟨hal-00213327v2⟩</a>",
"title_s":["Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits"],
"authFullName_s":["François Boulier","Marc Lefranc","François Lemaire","Pierre-Emmanuel Morant"],
"halId_s":"hal-00213327",
"docType_s":"COMM",
"producedDateY_i":2008
},{
"citationRef_s":"<i>Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro</i>, Mar 2008, Catania, Italy. pp.39-44",
"citationFull_s":"François Boulier. On the role of differential algebra in biological modeling. <i>Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro</i>, Mar 2008, Catania, Italy. pp.39-44. <a target=\"_blank\" href=\"https://hal.science/hal-00274685v1\">⟨hal-00274685⟩</a>",
"title_s":["On the role of differential algebra in biological modeling"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00274685",
"docType_s":"COMM",
"producedDateY_i":2008
},{
"citationRef_s":"<i>AB 2008</i>, 2008, Hagenberg, Austria. pp.22-39",
"citationFull_s":"François Boulier, François Lemaire. Differential algebra and system modeling in cellular biology. <i>AB 2008</i>, 2008, Hagenberg, Austria. pp.22-39. <a target=\"_blank\" href=\"https://hal.science/hal-00274689v1\">⟨hal-00274689⟩</a>",
"title_s":["Differential algebra and system modeling in cellular biology"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-00274689",
"docType_s":"COMM",
"producedDateY_i":2008
},{
"citationRef_s":"2007",
"citationFull_s":"François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. 2007. <a target=\"_blank\" href=\"https://hal.science/hal-00184558v1\">⟨hal-00184558⟩</a>",
"title_s":["Model Reduction of Chemical Reaction Systems using Elimination"],
"authFullName_s":["François Boulier","Marc Lefranc","François Lemaire","Pierre-Emmanuel Morant"],
"halId_s":"hal-00184558",
"docType_s":"UNDEFINED",
"producedDateY_i":2007
},{
"citationRef_s":"2007",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. 2007. <a target=\"_blank\" href=\"https://hal.science/hal-00141095v2\">⟨hal-00141095v2⟩</a>",
"title_s":["Computing differential characteristic sets by change of ordering"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza"],
"halId_s":"hal-00141095",
"docType_s":"UNDEFINED",
"producedDateY_i":2007
},{
"citationRef_s":"2007",
"citationFull_s":"François Boulier, François Lemaire. A computer scientist point of view on Hilbert's differential theorem of zeros. 2007. <a target=\"_blank\" href=\"https://hal.science/hal-00170091v2\">⟨hal-00170091v2⟩</a>",
"title_s":["A computer scientist point of view on Hilbert's differential theorem of zeros"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-00170091",
"docType_s":"UNDEFINED",
"producedDateY_i":2007
},{
"citationRef_s":"<i>Second International Conference, AB 2007</i>, Jul 2007, Hagenberg, Austria. pp.66-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-73433-8\">⟨10.1007/978-3-540-73433-8⟩</a>",
"citationFull_s":"François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Aslı Grimaud. On proving the absence of oscillations in models of genetic circuits. <i>Second International Conference, AB 2007</i>, Jul 2007, Hagenberg, Austria. pp.66-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-73433-8\">⟨10.1007/978-3-540-73433-8⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00139667v1\">⟨hal-00139667⟩</a>",
"title_s":["On proving the absence of oscillations in models of genetic circuits"],
"authFullName_s":["François Boulier","Marc Lefranc","François Lemaire","Pierre-Emmanuel Morant","Aslı Grimaud"],
"halId_s":"hal-00139667",
"docType_s":"COMM",
"producedDateY_i":2007
},{
"citationRef_s":"Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006",
"citationFull_s":"François Boulier. Réécriture algébrique dans les systèmes d'équations différentielles<br />polynomiales en vue d'applications dans les Sciences du Vivant. Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006. <a target=\"_blank\" href=\"https://theses.hal.science/tel-00137153v1\">⟨tel-00137153⟩</a>",
"title_s":["Réécriture algébrique dans les systèmes d'équations différentielles polynomiales 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"],
"authFullName_s":["François Boulier"],
"halId_s":"tel-00137153",
"docType_s":"HDR",
"producedDateY_i":2006
},{
"citationRef_s":"<i>Workshop D2.2 of the Special Semester on Gröbner Bases and Related Methods</i>, May 2006, Hagenberg, Austria. pp.111-139",
"citationFull_s":"François Boulier. Differential Elimination and Biological Modelling. <i>Workshop D2.2 of the Special Semester on Gröbner Bases and Related Methods</i>, May 2006, Hagenberg, Austria. pp.111-139. <a target=\"_blank\" href=\"https://hal.science/hal-00139364v1\">⟨hal-00139364⟩</a>",
"title_s":["Differential Elimination and Biological Modelling"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00139364",
"docType_s":"COMM",
"producedDateY_i":2006
},{
"citationRef_s":"<i>Transgressive Computing 2006</i>, Apr 2006, France. pp.79-91",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. <i>Transgressive Computing 2006</i>, Apr 2006, France. pp.79-91. <a target=\"_blank\" href=\"https://hal.science/hal-00137158v1\">⟨hal-00137158⟩</a>",
"title_s":["Well known theorems on triangular systems and the D5 principle"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza"],
"halId_s":"hal-00137158",
"docType_s":"COMM",
"producedDateY_i":2006
},{
"citationRef_s":"2005",
"citationFull_s":"François Boulier, François Lemaire, Lilianne Denis-Vidal, Thibaut Henin. LEPISME. 2005. <a target=\"_blank\" href=\"https://hal.science/hal-00140368v1\">⟨hal-00140368⟩</a>",
"title_s":["LEPISME"],
"authFullName_s":["François Boulier","François Lemaire","Lilianne Denis-Vidal","Thibaut Henin"],
"halId_s":"hal-00140368",
"docType_s":"UNDEFINED",
"producedDateY_i":2005
},{
"citationRef_s":"<i>international symposium on Symbolic and algebraic computation 2001</i>, 2001, France. pp.38-47, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/384101.384108\">⟨10.1145/384101.384108⟩</a>",
"citationFull_s":"François Boulier, François Lemaire, Marc Moreno Maza. PARDI !. <i>international symposium on Symbolic and algebraic computation 2001</i>, 2001, France. pp.38-47, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/384101.384108\">⟨10.1145/384101.384108⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00139354v1\">⟨hal-00139354⟩</a>",
"title_s":["PARDI !"],
"authFullName_s":["François Boulier","François Lemaire","Marc Moreno Maza"],
"halId_s":"hal-00139354",
"docType_s":"COMM",
"producedDateY_i":2001
},{
"citationRef_s":"<i>Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001</i>, 2001, Paris, France. pp.123-132, <a target=\"_blank\" href=\"https://dx.doi.org/10.46298/dmtcs.2299\">⟨10.46298/dmtcs.2299⟩</a>",
"citationFull_s":"François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli. Pseudo-Permutations II: Geometry and Representation Theory. <i>Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001</i>, 2001, Paris, France. pp.123-132, <a target=\"_blank\" href=\"https://dx.doi.org/10.46298/dmtcs.2299\">⟨10.46298/dmtcs.2299⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01182979v1\">⟨hal-01182979⟩</a>",
"title_s":["Pseudo-Permutations II: Geometry and Representation Theory"],
"authFullName_s":["François Boulier","Florent Hivert","Daniel Krob","Jean-Christophe Novelli"],
"halId_s":"hal-01182979",
"docType_s":"COMM",
"producedDateY_i":2001
},{
"citationRef_s":"2000",
"citationFull_s":"François Boulier. Triangularisation de systèmes de polynômes différentiels. 2000. <a target=\"_blank\" href=\"https://hal.science/hal-00140006v1\">⟨hal-00140006⟩</a>",
"title_s":["Triangularisation de systèmes de polynômes différentiels"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00140006",
"docType_s":"UNDEFINED",
"producedDateY_i":2000
},{
"citationRef_s":"<i>International Symposium on Symbolic and Algebraic Computation</i>, 2000, France. pp.37-46, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/345542.345571\">⟨10.1145/345542.345571⟩</a>",
"citationFull_s":"François Boulier, François Lemaire. Computing Canonical Representatives of Regular Differential Ideals. <i>International Symposium on Symbolic and Algebraic Computation</i>, 2000, France. pp.37-46, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/345542.345571\">⟨10.1145/345542.345571⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00139177v1\">⟨hal-00139177⟩</a>",
"title_s":["Computing Canonical Representatives of Regular Differential Ideals"],
"authFullName_s":["François Boulier","François Lemaire"],
"halId_s":"hal-00139177",
"docType_s":"COMM",
"producedDateY_i":2000
},{
"citationRef_s":"<i>MEGA 2000</i>, 2000, Bath, United Kingdom",
"citationFull_s":"François Boulier. Efficient computation of regular differential systems by change of rankings using Kähler differentials. <i>MEGA 2000</i>, 2000, Bath, United Kingdom. <a target=\"_blank\" href=\"https://hal.science/hal-00139738v1\">⟨hal-00139738⟩</a>",
"title_s":["Efficient computation of regular differential systems by change of rankings using Kähler differentials"],
"authFullName_s":["François Boulier"],
"halId_s":"hal-00139738",
"docType_s":"COMM",
"producedDateY_i":2000
},{
"citationRef_s":"1999",
"citationFull_s":"François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. 1999. <a target=\"_blank\" href=\"https://hal.science/hal-00139061v1\">⟨hal-00139061⟩</a>",
"title_s":["Computing representations for radicals of finitely generated differential ideals"],
"authFullName_s":["François Boulier","Daniel Lazard","François Ollivier","Michel Petitot"],
"halId_s":"hal-00139061",
"docType_s":"UNDEFINED",
"producedDateY_i":1999
},{
"citationRef_s":"<i>international symposium on Symbolic and algebraic computation 1995</i>, Jul 1995, France. pp.158-166, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/220346.220367\">⟨10.1145/220346.220367⟩</a>",
"citationFull_s":"François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. <i>international symposium on Symbolic and algebraic computation 1995</i>, Jul 1995, France. pp.158-166, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/220346.220367\">⟨10.1145/220346.220367⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00138020v2\">⟨hal-00138020v2⟩</a>",
"title_s":["Representation for the radical of a finitely generated differential ideal"],
"authFullName_s":["François Boulier","Daniel Lazard","François Ollivier","Michel Petitot"],
"halId_s":"hal-00138020",
"docType_s":"COMM",
"producedDateY_i":1995
},{
"citationRef_s":"Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>",
"citationFull_s":"François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle. Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>. <a target=\"_blank\" href=\"https://theses.hal.science/tel-00137866v1\">⟨tel-00137866⟩</a>",
"title_s":["Étude et implantation de quelques algorithmes en algèbre différentielle","Study and implementation of some algorithms in differential algebra"],
"authFullName_s":["François Boulier"],
"halId_s":"tel-00137866",
"docType_s":"THESE",
"producedDateY_i":1994
}]
}
}