Mioara Joldes

36 papers B 5C 6Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Exchange Algorithm for Optimizing Both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations.
ACM Trans. Math. Softw.
Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes
2025 J jnl
Optimization-aided construction of multivariate Chebyshev polynomials.
J. Approx. Theory
Mareike Dressler, Simon Foucart, Mioara Joldes, Etienne de Klerk, Jean B. Lasserre, Yuan Xu
2024 J jnl
Efficient and Validated Numerical Evaluation of Abelian Integrals.
ACM Trans. Math. Softw.
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
2024 — conf
Impulsive thrust collision avoidance for long-term space encounters.
CDC
Matthieu Masson, Christian Artigues, Denis Arzelier, Fabrizio Dabbene, Mioara Joldes, Martina Mammarella, Federica Paganelli Azza
2024 J jnl
Optimization-Aided Construction of Multivariate Chebyshev Polynomials.
CoRR
Mareike Dressler, Simon Foucart, Etienne de Klerk, Mioara Joldes, Jean-Bernard Lasserre, Yuan Xu
2024 C conf
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm.
ARITH
Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
2022 B conf
Validated Numerics: Algorithms and Practical Applications in Aerospace.
ISSAC
Mioara Joldes
2021 J jnl
Efficient Floating-Point Implementation of the Probit Function on FPGAs.
J. Signal Process. Syst.
Mioara Joldes, Bogdan Pasca
2021 — conf
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters.
CDC
Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean B. Lasserre, S. Laurens, Aude Rondepierre
2021 J jnl
Special Section on "Emerging and Impacting Trends on Computer Arithmetic".
IEEE Trans. Emerg. Top. Comput.
Mioara Joldes, Fabrizio Lamberti, Alberto Nannarelli
2020 C conf
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic.
ARITH
Mioara Joldes, Jean-Michel Muller
2020 — conf
Efficient Floating-Point Implementation of the Probit Function on FPGAs.
ASAP
Mioara Joldes, Bogdan Pasca
2020 J jnl
Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform.
ACM Trans. Math. Softw.
Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Nanes, Joris Picot
2019 C conf
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials.
ARITH
Denis Arzelier, Florent Bréhard, Mioara Joldes
2019 B conf
On Moment Problems with Holonomic Functions.
ISSAC
Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
2018 — book
Handbook of Floating-Point Arithmetic (2nd Ed.).
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
2018 J jnl
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations.
ACM Trans. Math. Softw.
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes
2017 B conf
Formal Verification of a Floating-Point Expansion Renormalization Algorithm.
ITP
Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2017 C conf
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming.
ARITH
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2017 J jnl
Rigorous uniform approximation of D-finite functions using Chebyshev expansions.
Math. Comput.
Alexandre Benoît, Mioara Joldes, Marc Mezzarobba
2017 J jnl
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic.
ACM Trans. Math. Softw.
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2016 J jnl
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions.
IEEE Trans. Computers
Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
2016 — conf
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.
ICMS
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
2016 — conf
Parallel floating-point expansions for extended-precision GPU computations.
ASAP
Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2014 — conf
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.
ASAP
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2014 J jnl
Rigorous uniform approximation of D-finite functions using Chebyshev expansions.
CoRR
Alexandre Benoît, Mioara Joldes, Marc Mezzarobba
2014 J jnl
Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.
SIGARCH Comput. Archit. News
Mioara Joldes, Valentina Popescu, Warwick Tucker
2012 — conf
Rigorous Polynomial Approximation Using Taylor Models in Coq.
NASA Formal Methods
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
2011 C conf
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).
IEEE Symposium on Computer Arithmetic
Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
2011 J jnl
Efficient and accurate computation of upper bounds of approximation errors.
Theor. Comput. Sci.
Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter
2011 — —
Rigorous Polynomial Approximations and Applications. (Approximations polynomiales rigoureuses et applications).
Mioara Joldes
2010 — conf
Automatic generation of polynomial-based hardware architectures for function evaluation.
ASAP
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
2010 B conf
Chebyshev interpolation polynomial-based tools for rigorous computing.
ISSAC
Nicolas Brisebarre, Mioara Joldes
2010 B conf
Multiplicative Square Root Algorithms for FPGAs.
FPL
Florent de Dinechin, Mioara Joldes, Bogdan Pasca, Guillaume Revy
2010 — conf
Sollya: An Environment for the Development of Numerical Codes.
ICMS
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
2009 C conf
Certified and Fast Computation of Supremum Norms of Approximation Errors.
IEEE Symposium on Computer Arithmetic
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter