The following pages link to Rigorous Numerics in Dynamics (Q2813138):
Displaying 50 items.
- Discretization strategies for computing Conley indices and Morse decompositions of flows (Q333770) (← links)
- Existence and convergence of solutions of the boundary value problem in atomistic and continuum nonlinear elasticity theory (Q343006) (← links)
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model (Q785373) (← 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)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← 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)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
- When does a periodic response exist in a periodically forced multi-degree-of-freedom mechanical system? (Q2296788) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem (Q2423229) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
- Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting) (Q2693018) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← 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)
- Rigorous computational dynamics in the context of unknown nonlinearities (Q4557496) (← links)
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions (Q4614397) (← links)
- Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos (Q4961112) (← links)
- Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data (Q5004089) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Free Vibrations in a Wave Equation Modeling MEMS (Q5859785) (← links)
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
- Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)
- Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
