The following pages link to The Flow of ODEs (Q2829258):
Displaying 11 items.
- From ODE to DDE (Q1034890) (← links)
- Give your ODEs a singular perturbation! (Q1589970) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- (Q4010325) (← links)
- Ode to the PST (Q5256333) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)