Further analysis of Kahan’s algorithm for the accurate computation of $2\times 2$ determinants (Q5326508): Difference between revisions

@@ Property / cites work @@
+Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven
+Normal rank
@@ Property / cites work @@
+Error bounds  on complex floating-point multiplication
+Normal rank
@@ Property / cites work @@
+Q4864704
@@ Property / cites work: Q4864704 / rank @@
+Normal rank
@@ Property / cites work @@
+Accuracy and Stability of Numerical Algorithms
@@ Property / cites work: Accuracy and Stability of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+High-precision division and square root
@@ Property / cites work: High-precision division and square root / rank @@
+Normal rank
@@ Property / cites work @@
+Formally certified floating-point filters for homogeneous geometric predicates
+Normal rank
@@ Property / cites work @@
+Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
+Normal rank
@@ Property / cites work @@
+Accurate Floating-Point Summation Part I: Faithful Rounding
+Normal rank