Pages that link to "Item:Q2985528"
From MaRDI portal
The following pages link to Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions (Q2985528):
Displaying 10 items.
- Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Detecting unreliable computer simulations of recursive functions with interval extensions (Q2318236) (← links)
- CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222) (← links)
- Handbook of Floating-Point Arithmetic (Q3629031) (← links)
- Algorithm 722: Functions to support the IEEE standard for binary floating-point arithmetic (Q4371560) (← links)
- (Q4790659) (← links)
- (Q5699558) (← links)
- On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents (Q6106703) (← links)
- A review note on arbitrary precision arithmetic (Q6175903) (← links)