A constructive proof of the Cauchy-Kovalevskaya theorem with applications to validated numerics.

Date:

More information here