Pages that link to "Item:Q5132334"
From MaRDI portal
The following pages link to Faithfully Rounded Floating-point Computations (Q5132334):
Displaying 16 items.
- Loop invariants in floating point algorithms (Q685861) (← links)
- Refinement of rational end-points real numbers by means of floating-point numbers (Q1806125) (← links)
- Efficient calculation of the joint distribution of order statistics (Q2291342) (← links)
- Verified bounds for the determinant of real or complex point or interval matrices (Q2297164) (← links)
- Computing correctly rounded integer powers in floating-point arithmetic (Q2989084) (← links)
- (Q3777328) (← links)
- Correctly Rounded Multiplication by Arbitrary Precision Constants (Q4589537) (← links)
- (Q4790659) (← links)
- (Q4851660) (← links)
- Accurate Floating-Point Summation Part I: Faithful Rounding (Q5189669) (← links)
- Innocuous Double Rounding of Basic Arithmetic Operations (Q5195257) (← links)
- Floating-point arithmetic (Q6047500) (← links)
- Fast and accurate computation of the Euclidean norm of a vector (Q6072363) (← links)
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy (Q6599992) (← links)
- Accurate calculation of Euclidean norms using double-word arithmetic (Q6599993) (← links)
- Verified error bounds for matrix decompositions (Q6641767) (← links)