Valentina Popescu

Available identifiers

zbMath Open popescu.valentinaMaRDI QIDQ1687722

List of research outcomes

Publication	Date of Publication	Type
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic	2018-08-17	Paper
Formal verification of a floating-point expansion renormalization algorithm	2018-01-04	Paper
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions	2017-05-16	Paper
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications	2016-09-28	Paper

Research outcomes over time

This page was built for person: Valentina Popescu