Algorithms for Manipulating Quaternions in Floating-Point Arithmetic
Joldes, Mioara, Muller, Jean-Michel
Published in 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH) (01.06.2020)
Published in 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH) (01.06.2020)
Get full text
Conference Proceeding
Special Section on "Emerging and Impacting Trends on Computer Arithmetic"
Joldes, Mioara, Lamberti, Fabrizio, Nannarelli, Alberto
Published in IEEE transactions on emerging topics in computing (01.07.2021)
Published in IEEE transactions on emerging topics in computing (01.07.2021)
Get full text
Journal Article
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm
Arzelier, Denis, Brehard, Florent, Joldes, Mioara, Mezzarobba, Marc
Published in 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH) (10.06.2024)
Published in 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH) (10.06.2024)
Get full text
Conference Proceeding
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials
Arzelier, Denis, Brehard, Florent, Joldes, Mioara
Published in 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) (01.06.2019)
Published in 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) (01.06.2019)
Get full text
Conference Proceeding
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
Joldes, Mioara, Marty, Olivier, Muller, Jean-Michel, Popescu, Valentina
Published in IEEE transactions on computers (01.04.2016)
Published in IEEE transactions on computers (01.04.2016)
Get full text
Journal Article
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming
Joldes, Mioara, Muller, Jean-Michel, Popescu, Valentina
Published in 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH) (01.07.2017)
Published in 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH) (01.07.2017)
Get full text
Conference Proceeding
Efficient and accurate computation of upper bounds of approximation errors
Chevillard, S., Harrison, J., Joldeş, M., Lauter, Ch
Published in Theoretical computer science (01.04.2011)
Published in Theoretical computer science (01.04.2011)
Get full text
Journal Article
Multiplicative Square Root Algorithms for FPGAs
de Dinechin, F, Joldes, M, Pasca, B, Revy, G
Published in 2010 International Conference on Field Programmable Logic and Applications (01.08.2010)
Published in 2010 International Conference on Field Programmable Logic and Applications (01.08.2010)
Get full text
Conference Proceeding
Multi-maneuver algorithms for multi-risk collision avoidance via nonconvex quadratic optimization
Masson, Matthieu, Arzelier, Denis, Joldes, Mioara, Revelin, Bruno, Thomassin, Jérôme
Published in IFAC-PapersOnLine (01.01.2023)
Published in IFAC-PapersOnLine (01.01.2023)
Get full text
Journal Article
Least multivariate Chebyshev polynomials on diagonally determined domains
Dressler, Mareike, Foucart, Simon, Joldes, Mioara, de Klerk, Etienne, Lasserre, Jean-Bernard, Xu, Yuan
Year of Publication 29.05.2024
Year of Publication 29.05.2024
Get full text
Journal Article
Optimization-Aided Construction of Multivariate Chebyshev Polynomials
Dressler, Mareike, Foucart, Simon, Joldes, Mioara, Etienne de Klerk, Lasserre, Jean Bernard, Xu, Yuan
Published in arXiv.org (27.08.2024)
Published in arXiv.org (27.08.2024)
Get full text
Paper
Journal Article
Certified and Fast Computation of Supremum Norms of Approximation Errors
Chevillard, S., Joldes, M., Lauter, C.
Published in 2009 19th IEEE Symposium on Computer Arithmetic (01.06.2009)
Published in 2009 19th IEEE Symposium on Computer Arithmetic (01.06.2009)
Get full text
Conference Proceeding
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
Get full text
Paper
Journal Article
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration
Joldes, Mioara, Muller, Jean-Michel, Popescu, Valentina
Published in 2014 IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors (01.06.2014)
Published in 2014 IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors (01.06.2014)
Get full text
Conference Proceeding