Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116): Difference between revisions

@@ Property / cites work @@
+Q5689624
@@ Property / cites work: Q5689624 / 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 @@
+Q4040931
@@ Property / cites work: Q4040931 / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+Q4284594
@@ Property / cites work: Q4284594 / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Numerical Analysis
@@ Property / cites work: Introduction to Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321536
@@ Property / cites work: Q4321536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and parallel interval arithmetic
@@ Property / cites work: Fast and parallel interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of positive definiteness
@@ Property / cites work: Verification of positive definiteness / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Q4220521
@@ Property / cites work: Q4220521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5188261
@@ Property / cites work: Q5188261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337625
@@ Property / cites work: Q4337625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5342712
@@ Property / cites work: Q5342712 / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
+Normal rank