Florent Bréhard
Chargé de recherche epst
Laboratoire / équipe
Publications
{
"response":{"numFound":19,"start":0,"numFoundExact":true,"docs":[
{
"citationRef_s":"<i>ISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023</i>, Jul 2023, Tromso, Norway. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3597066.3597122\">⟨10.1145/3597066.3597122⟩</a>",
"citationFull_s":"Florent Bréhard, Adrien Poteaux, Léo Soudant. Validated Root Enclosures for Interval Polynomials with Multiplicities. <i>ISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023</i>, Jul 2023, Tromso, Norway. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3597066.3597122\">⟨10.1145/3597066.3597122⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04138791\">⟨hal-04138791⟩</a>",
"title_s":["Validated Root Enclosures for Interval Polynomials with Multiplicities"],
"authFullName_s":["Florent Bréhard",
"Adrien Poteaux",
"Léo Soudant"],
"halId_s":"hal-04138791",
"docType_s":"COMM",
"producedDateY_i":2023},
{
"citationRef_s":"2023",
"citationFull_s":"Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. 2023. <a target=\"_blank\" href=\"https://hal.laas.fr/hal-04134188\">⟨hal-04134188⟩</a>",
"title_s":["Fast and reliable computation of the instantaneous orbital collision probability"],
"authFullName_s":["Matthieu Masson",
"Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes",
"Bruno Salvy"],
"halId_s":"hal-04134188",
"docType_s":"UNDEFINED",
"producedDateY_i":2023},
{
"citationRef_s":"2022",
"citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. 2022. <a target=\"_blank\" href=\"https://hal.science/hal-03561096\">⟨hal-03561096⟩</a>",
"title_s":["Efficient and Validated Numerical Evaluation of Abelian Integrals"],
"authFullName_s":["Florent Bréhard",
"Nicolas Brisebarre",
"Mioara Joldeş",
"Warwick Tucker"],
"halId_s":"hal-03561096",
"docType_s":"UNDEFINED",
"producedDateY_i":2022},
{
"citationRef_s":"<i>60th IEEE Conference on Decision and Control (CDC 2021)</i>, IEEE, Dec 2021, Austin, Texas, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CDC45484.2021.9683445\">⟨10.1109/CDC45484.2021.9683445⟩</a>",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldeş, Jean-Bernard Lasserre, Sohie Laurens, et al.. Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. <i>60th IEEE Conference on Decision and Control (CDC 2021)</i>, IEEE, Dec 2021, Austin, Texas, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CDC45484.2021.9683445\">⟨10.1109/CDC45484.2021.9683445⟩</a>. <a target=\"_blank\" href=\"https://hal.laas.fr/hal-03158347\">⟨hal-03158347⟩</a>",
"title_s":["Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Mioara Joldeş",
"Jean-Bernard Lasserre",
"Sohie Laurens",
"Aude Rondepierre"],
"halId_s":"hal-03158347",
"docType_s":"COMM",
"producedDateY_i":2021},
{
"citationRef_s":"<i>Mathematics in Computer Science</i>, In press",
"citationFull_s":"Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. <i>Mathematics in Computer Science</i>, In press. <a target=\"_blank\" href=\"https://hal.science/hal-03161118\">⟨hal-03161118⟩</a>",
"title_s":["A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method"],
"authFullName_s":["Florent Bréhard"],
"halId_s":"hal-03161118",
"docType_s":"ART",
"producedDateY_i":2021},
{
"citationRef_s":"2020",
"citationFull_s":"Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. 2020. <a target=\"_blank\" href=\"https://hal.science/hal-03161151\">⟨hal-03161151⟩</a>",
"title_s":["A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method"],
"authFullName_s":["Florent Bréhard"],
"halId_s":"hal-03161151",
"docType_s":"UNDEFINED",
"producedDateY_i":2020},
{
"citationRef_s":"<i>Journal of Guidance, Control, and Dynamics</i>, 2020, 43 (5), <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G004560\">⟨10.2514/1.G004560⟩</a>",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes. Comments on \"Series for Collision Probability in Short-Encounter Model\". <i>Journal of Guidance, Control, and Dynamics</i>, 2020, 43 (5), <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G004560\">⟨10.2514/1.G004560⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02123054\">⟨hal-02123054⟩</a>",
"title_s":["Comments on \"Series for Collision Probability in Short-Encounter Model"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes"],
"halId_s":"hal-02123054",
"docType_s":"ART",
"producedDateY_i":2020},
{
"citationRef_s":"[Research Report] Rapport LAAS n° 20008, LAAS-CNRS. 2020",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre. Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects. [Research Report] Rapport LAAS n° 20008, LAAS-CNRS. 2020. <a target=\"_blank\" href=\"https://hal.science/hal-02444341\">⟨hal-02444341⟩</a>",
"title_s":["Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes",
"Jean-Bernard Lasserre",
"Aude Rondepierre"],
"halId_s":"hal-02444341",
"docType_s":"REPORT",
"producedDateY_i":2020},
{
"citationRef_s":"<i>ITP 2019 - Tenth International Conference on Interactive Theorem Proving</i>, Sep 2019, Portland, United States. pp.1-19, <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ITP.2019.8\">⟨10.4230/LIPIcs.ITP.2019.8⟩</a>",
"citationFull_s":"Florent Bréhard, Assia Mahboubi, Damien Pous. A certificate-based approach to formally verified approximations. <i>ITP 2019 - Tenth International Conference on Interactive Theorem Proving</i>, Sep 2019, Portland, United States. pp.1-19, <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ITP.2019.8\">⟨10.4230/LIPIcs.ITP.2019.8⟩</a>. <a target=\"_blank\" href=\"https://hal.laas.fr/hal-02088529v2\">⟨hal-02088529v2⟩</a>",
"title_s":["A certificate-based approach to formally verified approximations"],
"authFullName_s":["Florent Bréhard",
"Assia Mahboubi",
"Damien Pous"],
"halId_s":"hal-02088529",
"docType_s":"COMM",
"producedDateY_i":2019},
{
"citationRef_s":"<i>44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019)</i>, Jul 2019, Pékin, China. pp.66-73",
"citationFull_s":"Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre. On Moment Problems with Holonomic Functions. <i>44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019)</i>, Jul 2019, Pékin, China. pp.66-73. <a target=\"_blank\" href=\"https://hal.science/hal-02006645\">⟨hal-02006645⟩</a>",
"title_s":["On Moment Problems with Holonomic Functions"],
"authFullName_s":["Florent Bréhard",
"Mioara Joldes",
"Jean-Bernard Lasserre"],
"halId_s":"hal-02006645",
"docType_s":"COMM",
"producedDateY_i":2019},
{
"citationRef_s":"Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. <a target=\"_blank\" href=\"https://www.theses.fr/2019LYSEN032\">⟨NNT : 2019LYSEN032⟩</a>",
"citationFull_s":"Florent Bréhard. Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle. Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. <a target=\"_blank\" href=\"https://www.theses.fr/2019LYSEN032\">⟨NNT : 2019LYSEN032⟩</a>. <a target=\"_blank\" href=\"https://theses.hal.science/tel-02337901\">⟨tel-02337901⟩</a>",
"title_s":["Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle",
"Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof"],
"authFullName_s":["Florent Bréhard"],
"halId_s":"tel-02337901",
"docType_s":"THESE",
"producedDateY_i":2019},
{
"citationRef_s":"<i>ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic</i>, Jun 2019, Kyoto, Japan. pp.1-8",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials. <i>ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic</i>, Jun 2019, Kyoto, Japan. pp.1-8. <a target=\"_blank\" href=\"https://hal.science/hal-02006606\">⟨hal-02006606⟩</a>",
"title_s":["Exchange algorithm for evaluation and approximation error-optimized polynomials"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes"],
"halId_s":"hal-02006606",
"docType_s":"COMM",
"producedDateY_i":2019},
{
"citationRef_s":"2019",
"citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker. A New Lower Bound on the Hilbert Number for Quartic Systems. 2019. <a target=\"_blank\" href=\"https://hal.laas.fr/hal-02085895\">⟨hal-02085895⟩</a>",
"title_s":["A New Lower Bound on the Hilbert Number for Quartic Systems"],
"authFullName_s":["Florent Bréhard",
"Nicolas Brisebarre",
"Mioara Joldes",
"Warwick Tucker"],
"halId_s":"hal-02085895",
"docType_s":"UNDEFINED",
"producedDateY_i":2019},
{
"citationRef_s":"DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Léo Martire, et al.. Global Probability of Collision: Problem modeling via occupation measures. DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019. <a target=\"_blank\" href=\"https://hal.laas.fr/hal-02077552\">⟨hal-02077552⟩</a>",
"title_s":["Global Probability of Collision: Problem modeling via occupation measures"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes",
"Jean-Bernard Lasserre",
"Léo Martire",
"Aude Rondepierre"],
"halId_s":"hal-02077552",
"docType_s":"REPORT",
"producedDateY_i":2019},
{
"citationRef_s":"<i>IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium</i>, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9",
"citationFull_s":"Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem. <i>IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium</i>, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9. <a target=\"_blank\" href=\"https://hal.science/hal-01830253\">⟨hal-01830253⟩</a>",
"title_s":["Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem"],
"authFullName_s":["Romain Serra",
"Denis Arzelier",
"Florent Bréhard",
"Mioara Joldes"],
"halId_s":"hal-01830253",
"docType_s":"COMM",
"producedDateY_i":2018},
{
"citationRef_s":"<i>ACM Transactions on Mathematical Software</i>, 2018, 44 (4), pp.44:1-44:42. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208103\">⟨10.1145/3208103⟩</a>",
"citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldes. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations. <i>ACM Transactions on Mathematical Software</i>, 2018, 44 (4), pp.44:1-44:42. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208103\">⟨10.1145/3208103⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01526272v3\">⟨hal-01526272v3⟩</a>",
"title_s":["Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations"],
"authFullName_s":["Florent Bréhard",
"Nicolas Brisebarre",
"Mioara Joldes"],
"halId_s":"hal-01526272",
"docType_s":"ART",
"producedDateY_i":2018},
{
"citationRef_s":"<i>ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation</i>, Jul 2018, New York, United States. pp.103-110, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208976.3209000\">⟨10.1145/3208976.3209000⟩</a>",
"citationFull_s":"Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. <i>ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation</i>, Jul 2018, New York, United States. pp.103-110, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208976.3209000\">⟨10.1145/3208976.3209000⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01654396v2\">⟨hal-01654396v2⟩</a>",
"title_s":["A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems"],
"authFullName_s":["Florent Bréhard"],
"halId_s":"hal-01654396",
"docType_s":"COMM",
"producedDateY_i":2018},
{
"citationRef_s":"<i>SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting</i>, Jan 2018, Kissimmee, United States. pp.1-23, <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/6.2018-1960\">⟨10.2514/6.2018-1960⟩</a>",
"citationFull_s":"Paulo Ricardo Arantes Gilz, Florent Bréhard, Clément Gazzino. Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations. <i>SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting</i>, Jan 2018, Kissimmee, United States. pp.1-23, <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/6.2018-1960\">⟨10.2514/6.2018-1960⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01540170v3\">⟨hal-01540170v3⟩</a>",
"title_s":["Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations"],
"authFullName_s":["Paulo Ricardo Arantes Gilz",
"Florent Bréhard",
"Clément Gazzino"],
"halId_s":"hal-01540170",
"docType_s":"COMM",
"producedDateY_i":2018},
{
"citationRef_s":"<i>20th IFAC Symposium on Automatic Control in Aerospace</i>, Aug 2016, Sherbrooke, Canada. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ifacol.2016.09.064\">⟨10.1016/j.ifacol.2016.09.064⟩</a>",
"citationFull_s":"Denis Arzelier, Florent Bréhard, Norbert Deak, Mioara Joldes, Christophe Louembet, et al.. Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach. <i>20th IFAC Symposium on Automatic Control in Aerospace</i>, Aug 2016, Sherbrooke, Canada. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ifacol.2016.09.064\">⟨10.1016/j.ifacol.2016.09.064⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01275427\">⟨hal-01275427⟩</a>",
"title_s":["Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach"],
"authFullName_s":["Denis Arzelier",
"Florent Bréhard",
"Norbert Deak",
"Mioara Joldes",
"Christophe Louembet",
"Aude Rondepierre",
"Romain Serra"],
"halId_s":"hal-01275427",
"docType_s":"COMM",
"producedDateY_i":2016}]
}}