Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494): 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 / full work available at URL @@
+https://doi.org/10.1090/psapm/074/00638
+Normal rank
@@ Property / OpenAlex ID @@
+W2924248149
@@ Property / OpenAlex ID: W2924248149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073917
@@ Property / cites work: Q4073917 / 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 @@
+The Dynamics of Nucleation for the Cahn–Hilliard Equation
+Normal rank
@@ Property / cites work @@
+Nucleation in the one-dimensional stochastic Cahn-Hilliard model
+Normal rank
@@ Property / cites work @@
+Degenerate Nucleation in the Cahn--Hilliard--Cook Model
+Normal rank
@@ Property / cites work @@
+Q3141921
@@ Property / cites work: Q3141921 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatially discrete nonlinear diffusion equations
@@ Property / cites work: Spatially discrete nonlinear diffusion equations / rank @@
+Normal rank
@@ Property / cites work @@
+Free Energy of a Nonuniform System. I. Interfacial Free Energy
+Normal rank
@@ Property / cites work @@
+Q4492675
@@ Property / cites work: Q4492675 / 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 @@
+The Dynamics of Nucleation in Stochastic Cahn–Morral Systems
+Normal rank
@@ Property / cites work @@
+Complex transient patterns on the disk
@@ Property / cites work: Complex transient patterns on the disk / rank @@
+Normal rank
@@ Property / cites work @@
+Topological microstructure analysis using persistence landscapes
+Normal rank
@@ Property / cites work @@
+Q4749133
@@ Property / cites work: Q4749133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995099
@@ Property / cites work: Q3995099 / 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 @@
+Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments
+Normal rank
@@ Property / cites work @@
+Q4313499
@@ Property / cites work: Q4313499 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch interactions and long-term dynamics for the diblock copolymer model in one dimension
+Normal rank
@@ Property / cites work @@
+Perturbation theory for linear operators.
@@ Property / cites work: Perturbation theory for linear operators. / rank @@
+Normal rank
@@ Property / cites work @@
+The implicit function theorem. History, theory, and applications
+Normal rank
@@ Property / cites work @@
+Elements of applied bifurcation theory.
@@ Property / cites work: Elements of applied bifurcation theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous continuation of bifurcation points in the diblock copolymer equation
+Normal rank
@@ Property / cites work @@
+Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions. I: Probability and wavelength estimate
+Normal rank
@@ Property / cites work @@
+Spinodal decomposition for the Cahn-Hilliard equation in higher dimensions: Nonlinear dynamics
+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 @@
+Some mathematical aspects of the micro-phase separation in diblock copolymers
+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 @@
+A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators
+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 @@
+Monte Carlo simulations for spinodal decomposition
+Normal rank
@@ Property / cites work @@
+Unexpectedly Linear Behavior for the Cahn--Hilliard Equation
+Normal rank
@@ Property / cites work @@
+Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Non-simple Turning Points and Cusps
@@ Property / cites work: Non-simple Turning Points and Cusps / rank @@
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Maximum norms of random sums and transient pattern formation
+Normal rank
@@ Property / cites work @@
+Mathematical challenges in a new phase of materials science. Proceedings of the RIMS international conference, Kyoto, Japan, August 4--8, 2014
+Normal rank
@@ Property / cites work @@
+Computer-assisted equilibrium validation for the diblock copolymer model
+Normal rank
@@ Property / cites work @@
+Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
+Normal rank
@@ Property / cites work @@
+The Computation of Symmetry-Breaking Bifurcation Points
+Normal rank
@@ Property / cites work @@
+Q3706042
@@ Property / cites work: Q3706042 / rank @@
+Normal rank