Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bréhard, Florent
104  Ergebnisse:
Personensuche X
?
1

Efficient and Validated Numerical Evaluation of Abelian Int..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldes, Mioara.
ACM Transactions on Mathematical Software.  50 (2024)  1 - p. 1-38 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Rounding Error Analysis of an Orbital Collision Probability..:

, In: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH),
Arzelier, Denis ; Brehard, Florent ; Joldes, Mioara. - p. 96-103 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Validated Root Enclosures for Interval Polynomials with Mul..:

, In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation,
Brehard, Florent ; Poteaux, Adrien ; Soudant, Léo - p. 90-99 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

A Symbolic-Numeric Validation Algorithm for Linear ODEs wit..:

Bréhard, Florent
Mathematics in Computer Science.  15 (2021)  3 - p. 373-405 , 2021
Link: https://doi.org/10.1007/..
 
?
5

On Moment Problems with Holonomic Functions:

, In: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation,
Bréhard, Florent ; Joldes, Mioara ; Lasserre, Jean-Bernard - p. 66-73 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Exchange Algorithm for Evaluation and Approximation Error-O..:

, In: 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH),
Arzelier, Denis ; Brehard, Florent ; Joldes, Mioara - p. 30-37 , 2019
Link: https://doi.org/10.1109/..
 
?
7

Validated and Numerically Efficient Chebyshev Spectral Meth..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara
ACM Transactions on Mathematical Software (TOMS).  44 (2018)  4 - p. 1-42 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

Validated and Numerically Efficient Chebyshev Spectral Meth..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara
ACM Transactions on Mathematical Software.  44 (2018)  4 - p. 1-42 , 2018
Link: https://doi.org/10.1145/..
 
?
9

A Newton-like Validation Method for Chebyshev Approximate S..:

, In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation,
Bréhard, Florent - p. 103-110 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Efficient and Validated Numerical Evaluation of Abelian Int..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara.
hal-03561096.  , 2023
Link: https://hal.science/hal-..
 
?
11

Validated Root Enclosures for Interval Polynomials with Mul..:

Bréhard, Florent ; Poteaux, Adrien ; Soudant, Léo
info:eu-repo/semantics/altIdentifier/doi/10.1145/3597066.3597122.  , 2023
Link: https://hal.science/hal-..
 
?
12

Fast and reliable computation of the instantaneous orbital ..:

Masson, Matthieu ; Arzelier, Denis ; Bréhard, Florent..
hal-04134188.  , 2023
Link: https://laas.hal.science..
 
?
13

Efficient and Validated Numerical Evaluation of Abelian Int..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara.
Sûreté numérique pour les preuves assistées par ordinateur.  , 2023
Link: https://hdl.handle.net/2..
 
?
14

Efficient and Validated Numerical Evaluation of Abelian Int..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara.
hal-03561096.  , 2023
Link: https://hal.science/hal-..
 
?
15

Efficient and Validated Numerical Evaluation of Abelian Int..:

Bréhard, Florent ; Brisebarre, Nicolas ; Joldeş, Mioara.
hal-03561096.  , 2023
Link: https://hal.science/hal-..
 
1-15