文章基本信息

标题：Computable Analysis of Differential Equations (Invited Talk)
本地全文：下载
作者：Zhong, Ning
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2009
卷号：11
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Computable analysis; differential equations