Pages that link to "Item:Q3584839"

The following pages link to Global smooth solution curves using rigorous branch following (Q3584839):

Displaying 41 items.

• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system (Q383608) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Existence of secondary bifurcations or isolas for PDEs (Q544176) (← links)
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895) (← links)
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
• Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
• From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal (Q2033679) (← links)
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation (Q2269624) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
• Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• Validated Computation of Heteroclinic Sets (Q2967809) (← links)
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
• Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
• Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
• Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
• Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
• Torus knot choreographies in the n-body problem (Q5147943) (← links)
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
• A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
• Free Vibrations in a Wave Equation Modeling MEMS (Q5859785) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)