The following pages link to Rigorous Numerics in Dynamics (Q4581314):
Displaying 5 items.
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
- Generalized Maslov Indices for Non-Hamiltonian Systems (Q5065451) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations (Q6652542) (← links)
