Pages that link to "Item:Q285445"

The following pages link to Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445):

Displaying 17 items.

• Computational techniques to locate crossing/sliding regions and their sets of attraction in non-smooth dynamical systems (Q1670299) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
• Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations (Q2033673) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← 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)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
• Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← 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)
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)