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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Valentina Popescu