Search Results

Documents authored by Zhong, Ning


Document
Invited Talk
Computable Analysis of Differential Equations (Invited Talk)

Authors: Ning Zhong

Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)


Abstract
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.

Cite as

Ning Zhong. Computable Analysis of Differential Equations (Invited Talk). In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, p. 19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{zhong:OASIcs.CCA.2009.2253,
  author =	{Zhong, Ning},
  title =	{{Computable Analysis of Differential Equations}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  pages =	{19--19},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2253},
  URN =		{urn:nbn:de:0030-drops-22535},
  doi =		{10.4230/OASIcs.CCA.2009.2253},
  annote =	{Keywords: Computable analysis, differential equations}
}
Document
Computability and Complexity in Analysis (Dagstuhl Seminar 01461)

Authors: Vasco Brattka, Peter Hertling, Mariko Yasugi, and Ning Zhong

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Vasco Brattka, Peter Hertling, Mariko Yasugi, and Ning Zhong. Computability and Complexity in Analysis (Dagstuhl Seminar 01461). Dagstuhl Seminar Report 327, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)


Copy BibTex To Clipboard

@TechReport{brattka_et_al:DagSemRep.327,
  author =	{Brattka, Vasco and Hertling, Peter and Yasugi, Mariko and Zhong, Ning},
  title =	{{Computability and Complexity in Analysis (Dagstuhl Seminar 01461)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{327},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.327},
  URN =		{urn:nbn:de:0030-drops-152103},
  doi =		{10.4230/DagSemRep.327},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail