[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