Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307): Difference between revisions

@@ Property / describes a project that uses @@
+AUTO
@@ Property / describes a project that uses: AUTO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Spatially discrete nonlinear diffusion equations
@@ Property / cites work: Spatially discrete nonlinear diffusion equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4832187
@@ Property / cites work: Q4832187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3948194
@@ Property / cites work: Q3948194 / rank @@
+Normal rank
@@ Property / cites work @@
+DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS
@@ Property / cites work: DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342894
@@ Property / cites work: Q4342894 / rank @@
+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 @@
+Q4749133
@@ Property / cites work: Q4749133 / rank @@
+Normal rank
@@ Property / cites work @@
+The Global Dynamics of Discrete Semilinear Parabolic Equations
+Normal rank
@@ Property / cites work @@
+Validated continuation over large parameter ranges for equilibria of PDEs
+Normal rank
@@ Property / cites work @@
+Grain sizes in the discrete Allen-Cahn and Cahn-Hilliard equations
+Normal rank
@@ Property / cites work @@
+Q2731401
@@ Property / cites work: Q2731401 / rank @@
+Normal rank
@@ Property / cites work @@
+Slowly-migrating transition layers for the discrete Allen-Cahn and Cahn-Hilliard equations
+Normal rank
@@ Property / cites work @@
+Q4313499
@@ Property / cites work: Q4313499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3312749
@@ Property / cites work: Q3312749 / rank @@
+Normal rank
@@ Property / cites work @@
+The implicit function theorem. History, theory, and applications
+Normal rank
@@ Property / cites work @@
+The Calculation of Turning Points of Nonlinear Equations
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Numerical Analysis
@@ Property / cites work: Introduction to Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative Solution of Nonlinear Equations in Several Variables
+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 @@
+Q4885379
@@ Property / cites work: Q4885379 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs for semilinear elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
+Normal rank
@@ Property / cites work @@
+Lattice differential equations embedded into reaction–diffusion systems
+Normal rank
@@ Property / cites work @@
+Computer-assisted bifurcation diagram                     validation and applications in materials                     science
+Normal rank
@@ Property / cites work @@
+Computer-assisted equilibrium validation for the diblock copolymer model
+Normal rank
@@ Property / cites work @@
+Q4039860
@@ Property / cites work: Q4039860 / rank @@
+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 @@
+A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
+Normal rank
@@ Property / cites work @@
+Q3706042
@@ Property / cites work: Q3706042 / rank @@
+Normal rank
@@ Property / cites work @@
+Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
+Normal rank