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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spatially discrete nonlinear diffusion equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4832187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3948194 / rank
 
Normal rank
Property / cites work
 
Property / cites work: DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342894 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Validated Continuation for Equilibria of PDEs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4749133 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Global Dynamics of Discrete Semilinear Parabolic Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Validated continuation over large parameter ranges for equilibria of PDEs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grain sizes in the discrete Allen-Cahn and Cahn-Hilliard equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2731401 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Slowly-migrating transition layers for the discrete Allen-Cahn and Cahn-Hilliard equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4313499 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3312749 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The implicit function theorem. History, theory, and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Calculation of Turning Points of Nonlinear Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Interval Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Numerical Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterative Solution of Nonlinear Equations in Several Variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4885379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-assisted proofs for semilinear elliptic boundary value problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4949347 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification methods: Rigorous results using floating-point arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattice differential equations embedded into reaction–diffusion systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-assisted bifurcation diagram validation and applications in materials science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-assisted equilibrium validation for the diblock copolymer model / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4039860 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3706042 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof / rank
 
Normal rank

Latest revision as of 17:27, 12 July 2024

scientific article
Language Label Description Also known as
English
Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
scientific article

    Statements

    Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (English)
    0 references
    0 references
    0 references
    14 October 2016
    0 references
    lattice dynamical system
    0 references
    bifurcation diagram
    0 references
    saddle-node bifurcations
    0 references
    computer-assisted proof
    0 references
    constructive implicit function theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references