Pages that link to "Item:Q1999949"
From MaRDI portal
The following pages link to Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949):
Displayed 26 items.
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part (Q255432) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- Parameterization method for unstable manifolds of delay differential equations (Q1654463) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
- On polynomial forms of nonlinear functional differential equations (Q1983478) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- Editorial: Topology in dynamics, differential equations, and data (Q1999927) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set (Q2005607) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- The spatial Hill four-body problem. I: An exploration of basic invariant sets (Q2076282) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
- Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← 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)
- 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)
- 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)
- 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)
- Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations (Q6084947) (← 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)