Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105): Difference between revisions

@@ Property / cites work @@
+Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
+Normal rank
@@ Property / cites work @@
+Q3948194
@@ Property / cites work: Q3948194 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Validated continuation over large parameter ranges for equilibria of PDEs
+Normal rank
@@ Property / cites work @@
+A numerically based existence theorem for the Navier-Stokes equations
+Normal rank
@@ Property / cites work @@
+Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
+Normal rank
@@ Property / cites work @@
+A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
+Normal rank
@@ Property / cites work @@
+Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
+Normal rank
@@ Property / cites work @@
+STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for the Cahn-Hilliard equation on the unit square
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+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 @@
+Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value 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 @@
+Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+Normal rank