Pages that link to "Item:Q1983482"

The following pages link to Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482):

Displaying 9 items.

• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications (Q3132923) (← links)
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
• Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)