The following pages link to Mioara Joldes (Q1687721):
Displaying 17 items.
- (Q633635) (redirect page) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
- CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222) (← links)
- Chebyshev interpolation polynomial-based tools for rigorous computing (Q2946533) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)
- Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions (Q2985528) (← links)
- Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic (Q4581373) (← links)
- Handbook of Floating-Point Arithmetic (Q4609588) (← links)
- Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations (Q4611315) (← links)
- On Moment Problems with Holonomic Functions (Q5120476) (← links)
- Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform (Q5132317) (← links)
- Sollya: An Environment for the Development of Numerical Codes (Q5747851) (← links)
- Efficient and validated numerical evaluation of abelian integrals (Q6604153) (← links)
- Optimization-aided construction of multivariate Chebyshev polynomials (Q6651978) (← links)
- Validated numerics: algorithms and practical applications in aerospace (Q6665731) (← links)
- Least multivariate Chebyshev polynomials on diagonally determined domains (Q6730624) (← links)