 
    Florent Bréhard
                                    25 
                                    
                            Documents
                                Publications
Publications
|  | Validated numerical Hensel's lifting2025Pré-publication, Document de travail
                    
        
        
            
                
                    hal-04955638
                                            v1 | 
|  | An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations2024Pré-publication, Document de travail
                    
        
        
            
                
                    hal-04709615
                                            v1 | 
|  | Validated numerical Hensel lifting2024Pré-publication, Document de travail
                    
        
        
            
                
                    hal-04626388
                                            v1 | 
|  | A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method2020Pré-publication, Document de travail
                    
        
        
            
                
                    hal-03161151
                                            v1 | 
| A New Lower Bound on the Hilbert Number for Quartic Systems2019Pré-publication, Document de travail
                    
        
        
            
                
                    hal-02085895
                                            v1 | 
|  | 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, NetherlandsCommunication 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 | 
|  | Exchange algorithm for evaluation and approximation error-optimized polynomialsARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8Communication dans un congrès
                    
        
        
            
                
                    hal-02006606
                                            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-73Communication dans un congrès
                    
        
        
            
                
                    hal-02006645
                                            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-9Communication 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 | 
|  | 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 | 
|  | 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 | 
|  | A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard MethodMathematics in Computer Science, In pressArticle 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 | 
|  | 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. 2020Rapport
                             (rapport de recherche)
                    
        
        
            
                
                    hal-02444341
                                            v1 | 
| Global Probability of Collision: Problem modeling via occupation measuresDAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019Rapport
                    
        
        
            
                
                    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...