Computable Analysis of Differential Equations (Invited Talk)

Ning Zhong
In this talk, we discuss some algorithmic aspects of the local and global existence theory for various ordinary and partial differential equations. We will present a sample of results and give some idea of the motivation and general philosophy underlying these results.