Pages that link to "Item:Q1670296"
From MaRDI portal
The following pages link to Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296):
Displaying 7 items.
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Validated integration of differential equations with state-dependent delay (Q2170835) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- A Lorenz-type attractor in a piecewise-smooth system: Rigorous results (Q4972983) (← links)
- Sliding homoclinic bifurcations in a Lorenz-type system: Analytic proofs (Q4989103) (← links)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
