Selected Publication of Ning Zhong
Computability, noncomputability and undecidability of
maximal intervals of IVPs (with Daniel Graca and Jorge Buescu),
accepted and to appear in Transactions of AMS.
Computable analysis of the abstract Cauchy problem in Banach spaces and its applications I (with K. Weihrauch), Mathematical Logic Quarterly,Volume 53, Issue 4-5, 2007, 511-531.
Computable analysis of a boundary-value problem for the Korteweg-de Vries equation, Theory of Computing Systems, 41(2007), 155-175.
Computing Schroedinger propagators on type-2 Turing machines (with K. Weihrauch), J. Complexity 22(2006), no. 6, 918-935.
An algorithm for computing fundamental solutions (with Klaus Weihrauch), SIAM Journal on Computing, Vol.35, No.6(2006), 1283-1294.
Beyond the first main theorem -- When is the solution of a
linear Cauchy problem computable? (with K. Weihrauch),
Lecture Notes in Computer Science, 3959(2006), 785-794 (anonymously
refereed by five reviewers).
An ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable (with D. S. Graca and J. Buescu), Proceedings of the 7th Conference on Real Numbers and Computers (RNC 7)} edited by G. Hanrot and P. Zimmermann, LORIA/INRIA, 33-40 (2006) (anonymously refereed by three reviewers).
Computable analysis of a non-homogeneous boundary-value problem for the Korteweg-de Vires equation, Lecture Notes in Computer Science, 3526(2005), 552-561.
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines (with K. Weihrauch), Theoretical Computer Science 332(2005), 337-366.
Boundary regularity and computability (with Marian Pour-El), Informatik Berichte, 302-8(2003), 325-345 (anonymously refereed by two reviewers).
Computability theory of generalized functions (with K. Weihrauch), Journal of ACM, Volume 50, Issue 4(2003), 469-505.
Is the wave propagator computable or can wave machines beat Turing machines? (with K. Weihrauch), Proceedings of the London Mathematical Society, (3) 85(2002) 312-332.
The solution operator of the Korteweg-de Vries equation is computable (with K. Weihrauch), Electronic Notes in Theoretical Computer Science, Vol 66, No. 1(2002), 1-13 (anonymously refereed by two reviewers).
Turing computability of a nonlinear Schroedinger propagator (with K. Weihrauch), Lecture Notes in Computer Sci., 2108(2001), 596-601 (anonymously refereed by three reviewers).
Computable analysis of the Korteweg-de Vries equation (with W. Gay and B.Y. Zhang), Math. Logic Quarterly, No. 1, Vol 47(2001), 93-110.
Is the linear Schroedinger propagator computable (with K. Weihrauch), Lecture Notes in Computer Sci., 2064(2000), 369-378 (anonymously refereed by two reviewers).
Computability theory of Sobolev space and its applications, Theoret. Computer Science 219(1999), no.1-2, 487-510.
$L^p$-computability (with B.Y. Zhang), Math. Logic Quarterly 45(1999), no.4, 449-456.
The wave propagator is Turing computable (with K. Weihrauch), Lecture Notes in Computer Sci., 1644(1999), 697-706 (anonymously refereed by three reviewers).
Derivatives of computable functions, Math. Logic Quarterly, 44(1998), 304-316.
Recursively enumerable subsets of $R^{q}$ in two computing models: Blum-Shub-Smale machine and Turing machine, Theoret. Comput. Sci.} 197(1998), no.1-2, 79-94.
The wave equation with computable initial data whose unique
solution is nowhere computable (with M. B. Pour-El),
Math. Logic Quarterly 43(1997), no.4, 499-509.
Effective collectionwise Hausdorff and normal axioms, Question Answers Gen. Topology, 15(1997), no.2, 225-230.
Effective separation axioms, Questions answers Gen. Topology, Vol.14(1996), 177-185.
Small $M_{3}$-space is $M_{1}$, Questions Answers Gen. Topology, Vol.12(1994), 113-116.
Products with an $M_{3}$ factor, Topology and its Application, 45(1992), 131-145.
กก
กก