Is there a formal language (an axiomatic system and the corresponding logic) that makes it possible to reason about numerical solutions of differential equations?
In other words, is there a formal system that can be used to prove that a given method for numerical solution of differential equation generates a solution with a given accuracy and that it converge.