When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.CCA.2009.2253
URN: urn:nbn:de:0030-drops-22535
Go to the corresponding OASIcs Volume Portal

Zhong, Ning
Invited Talks

Computable Analysis of Differential Equations (Invited Talk)

Zhong.2253.pdf (0.1 MB)


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.

BibTeX - Entry

  author =	{Ning Zhong},
  title =	{{Computable Analysis of Differential Equations (Invited Talk)}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Andrej Bauer and Peter Hertling and Ker-I Ko},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-22535},
  doi =		{},
  annote =	{Keywords: Computable analysis, differential equations}

Keywords: Computable analysis, differential equations
Seminar: 6th International Conference on Computability and Complexity in Analysis (CCA'09)
Issue Date: 2009
Date of publication: 25.11.2009

DROPS-Home | Fulltext Search | Imprint Published by LZI