Pages that link to "Item:Q2819222"
From MaRDI portal
The following pages link to CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222):
Displaying 6 items.
- CAMPARY (Q27049) (← links)
- Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
- Locating the closest singularity in a polynomial homotopy (Q2109994) (← links)
- Parallel computation of alpha complexes for biomolecules (Q2206738) (← links)
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
- Floating-point arithmetic (Q6047500) (← links)
