An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320): Difference between revisions

@@ Property / DOI @@
-.1016/j.cam.2016.01.055
@@ Property / DOI: 10.1016/j.cam.2016.01.055 / rank @@
-Normal rank
@@ Property / cites work @@
+The local structure of turbulence in incompressible viscous fluid for very large Reynolds numbers
+Normal rank
@@ Property / cites work @@
+Example of the generation of a secondary stationary or periodic flow when there is loss of stability of the laminar flow of a viscous incompressible fluid
+Normal rank
@@ Property / cites work @@
+Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
+Normal rank
@@ Property / cites work @@
+A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
+Normal rank
@@ Property / cites work @@
+A numerical approach to the proof of existence of solutions for elliptic problems
+Normal rank
@@ Property / cites work @@
+A numerical verification of nontrivial solutions for the heat convection problem
+Normal rank
@@ Property / cites work @@
+Some computer assisted proofs for solutions of the heat convection problems
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+Q4284594
@@ Property / cites work: Q4284594 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution of interval linear systems
@@ Property / cites work: On the solution of interval linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321536
@@ Property / cites work: Q4321536 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on epsilon-inflation
@@ Property / cites work: A note on epsilon-inflation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
+Normal rank
@@ Property / DOI @@
+.1016/J.CAM.2016.01.055
@@ Property / DOI: 10.1016/J.CAM.2016.01.055 / rank @@
+Normal rank