Pages that link to "Item:Q5415977"
From MaRDI portal
The following pages link to Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series (Q5415977):
Displaying 37 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)
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← 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)
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families (Q2004777) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
- Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
- A Chebyshev technique for the solution of optimal control problems with nonlinear programming methods (Q2228757) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← 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)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications (Q3132923) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← 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 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)
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)
