A method of obtaining verified solutions for linear systems suited for Java (Q861896): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cam.2005.08.034
+Normal rank
@@ Property / OpenAlex ID @@
+W2148202475
@@ Property / OpenAlex ID: W2148202475 / rank @@
+Normal rank
@@ Property / cites work @@
+A floating-point technique for extending the available precision
+Normal rank
@@ Property / cites work @@
+Q5689624
@@ Property / cites work: Q5689624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585021
@@ Property / cites work: Q5585021 / rank @@
+Normal rank
@@ Property / cites work @@
+Accurate Sum and Dot Product
@@ Property / cites work: Accurate Sum and Dot Product / rank @@
+Normal rank
@@ Property / cites work @@
+Accurate Floating-Point Summation Part I: Faithful Rounding
+Normal rank
@@ Property / cites work @@
+Fast verification of solutions of matrix equations
+Normal rank
@@ Property / cites work @@
+Q4321536
@@ Property / cites work: Q4321536 / rank @@
+Normal rank