The following pages link to (Q3694581):
Displaying 5 items.
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem (Q6049736) (← links)
