Pages that link to "Item:Q2792369"
From MaRDI portal
The following pages link to Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369):
Displayed 45 items.
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Analytic enclosure of the fundamental matrix solution. (Q906995) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← 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)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- A proof of Wright's conjecture (Q1708143) (← 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)
- 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)
- A new method to compute periodic orbits in general symplectic maps (Q2025577) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem (Q2052903) (← links)
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Spiderweb central configurations (Q2282109) (← links)
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← 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)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions (Q4614397) (← links)
- Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards (Q4997480) (← links)
- EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS (Q5121527) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
- Free Vibrations in a Wave Equation Modeling MEMS (Q5859785) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)