Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582): Difference between revisions

@@ Property / cites work @@
+Q5518219
@@ Property / cites work: Q5518219 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations
+Normal rank
@@ Property / cites work @@
+Q4379552
@@ Property / cites work: Q4379552 / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
+Normal rank
@@ Property / cites work @@
+A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
+Normal rank
@@ Property / cites work @@
+Q4874512
@@ Property / cites work: Q4874512 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Some computer assisted proofs for solutions of the heat convection problems
+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 @@
+Q4551937
@@ Property / cites work: Q4551937 / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical verification of nontrivial solutions for the heat convection problem
+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