Ontify
Local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems.