[Numerical methods][1] like Euler or Runge-Kutta, consisting in approximating a solution of an ODE with solutions of suitable discrete difference equations, in particular give  proofs of existence.   

[1]:https://en.wikipedia.org/wiki/Numerical_methods_for_ordinary_differential_equations