Pages that link to "Item:Q1670296"

The following pages link to Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296):

Displayed 6 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)