
Florent Bréhard
25
Documents
Publications
Publications
|
Validated numerical Hensel's lifting2025
Pré-publication, Document de travail
hal-04955638
v1
|
|
An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations2024
Pré-publication, Document de travail
hal-04709615
v1
|
|
Validated numerical Hensel lifting2024
Pré-publication, Document de travail
hal-04626388
v1
|
|
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method2020
Pré-publication, Document de travail
hal-03161151
v1
|
A New Lower Bound on the Hilbert Number for Quartic Systems2019
Pré-publication, Document de travail
hal-02085895
v1
|
|
Efficient and Validated Numerical Evaluation of Abelian IntegralsACM Transactions on Mathematical Software, 2024, 50 (1), pp.1 - 38. ⟨10.1145/3637550⟩
Article dans une revue
hal-03561096
v2
|
|
Fast and reliable computation of the instantaneous orbital collision probabilityJournal of Guidance, Control, and Dynamics, 2024, pp.1-14. ⟨10.2514/1.G008102⟩
Article dans une revue
hal-04134188
v1
|
|
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard MethodMathematics in Computer Science, In press
Article dans une revue
hal-03161118
v1
|
|
Comments on "Series for Collision Probability in Short-Encounter ModelJournal of Guidance, Control, and Dynamics, 2020, 43 (5), ⟨10.2514/1.G004560⟩
Article dans une revue
hal-02123054
v1
|
|
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equationsACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
Article dans une revue
hal-01526272
v3
|
|
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩
Communication dans un congrès
hal-04466875
v1
|
|
Validated Root Enclosures for Interval Polynomials with MultiplicitiesISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromso, Norway. ⟨10.1145/3597066.3597122⟩
Communication dans un congrès
hal-04138791
v1
|
|
Fast and reliable computation of the instantaneous orbital collision probability2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands
Communication dans un congrès
hal-04240944
v1
|
|
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩
Communication dans un congrès
hal-03158347
v1
|
|
A certificate-based approach to formally verified approximationsITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Communication dans un congrès
hal-02088529
v2
|
|
On Moment Problems with Holonomic Functions44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Communication dans un congrès
hal-02006645
v1
|
|
Exchange algorithm for evaluation and approximation error-optimized polynomialsARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès
hal-02006606
v1
|
|
Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problemIAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
Communication dans un congrès
hal-01830253
v1
|
|
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential SystemsISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
Communication dans un congrès
hal-01654396
v2
|
|
Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series ApproximationsSCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩
Communication dans un congrès
hal-01540170
v3
|
|
Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach20th IFAC Symposium on Automatic Control in Aerospace, Aug 2016, Sherbrooke, Canada. ⟨10.1016/j.ifacol.2016.09.064⟩
Communication dans un congrès
hal-01275427
v1
|
|
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
Rapport
(rapport de recherche)
hal-02444341
v1
|
Global Probability of Collision: Problem modeling via occupation measuresDAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019
Rapport
hal-02077552
v1
|
|
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelleNumerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Thèse
tel-02337901
v1
|
Chargement...
Chargement...