Numerical methods for ordinary differential equations
Not only approximate solvers, but the study to "verify the existence of solution by computers" is also active. This study is needed because numerically obtained solutions could be phantom solutions (fake solutions). This kind of incident is already reported. The popular methods are based on the shooting method or spectral methods. Today, European research teams and Japanese experts are working on this topic.