Ning Zhong

According to our database1, Ning Zhong authored at least 39 papers between 1996 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Computability of Ordinary Differential Equations.
Proceedings of the Sailing Routes in the World of Computation, 2018

2015
Computability aspects for 1st-order partial differential equations via characteristics.
Theor. Comput. Sci., 2015

An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable.
Theory Comput. Syst., 2015

A Tribute to Marian Boykan Pour-El (1928-2009).
J. Log. Comput., 2015

On Computability of Navier-Stokes' Equation.
Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014
On Effective Convergence of Numerical Solutions for Differential Equations.
TOCT, 2014

2013
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012
The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited.
Theor. Comput. Sci., 2012

Computability, noncomputability, and hyperbolic systems.
Applied Mathematics and Computation, 2012

2011
Computability in planar dynamical systems.
Natural Computing, 2011

2009
Topological Complexity of Blowup Problems.
J. UCS, 2009

Computing Domains of Attraction for Planar Dynamics.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

Computable Analysis of Differential Equations (Invited Talk).
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008
Editorial: Math. Log. Quart. 5/2008.
Math. Log. Q., 2008

Computability and Complexity in Analysis.
J. UCS, 2008

Complexity of Blowup Problems: Extended Abstract.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

2007
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation.
Theory Comput. Syst., 2007

Computable analysis of the abstract Cauchy problem in a Banach space and its applications I.
Math. Log. Q., 2007

Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I).
Electr. Notes Theor. Comput. Sci., 2007

2006
An Algorithm for Computing Fundamental Solutions.
SIAM J. Comput., 2006

Computing Schrödinger propagators on Type-2 Turing machines.
J. Complexity, 2006

Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable?
Proceedings of the Theory and Applications of Models of Computation, 2006

2005
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing.
Theor. Comput. Sci., 2005

An Algorithm for Computing Fundamental Solutions.
Electr. Notes Theor. Comput. Sci., 2005

Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation.
Proceedings of the New Computational Paradigms, 2005

2004
Preface: MLQ - Math. Log. Quart. 4-5/2004.
Math. Log. Q., 2004

2003
Computatbility theory of generalized functions.
J. ACM, 2003

2002
Preface: MLQ - Math. Log. Quart. Supplement 1/2002.
Math. Log. Q., 2002

The Solution Operator of the Korteweg-de Vries Equation is Computable.
Electr. Notes Theor. Comput. Sci., 2002

2001
Computability of Solutions of the Korteweg-de Vries Equation.
Math. Log. Q., 2001

Turing Computability of a Nonlinear Schrödinger Propagator.
Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001

2000
Is the Linear Schrödinger Propagator Turing Computable?
Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

1999
Computability Structure of the Sobolev Spaces and Its Applications.
Theor. Comput. Sci., 1999

Lp-Computability.
Math. Log. Q., 1999

The Wave Propagator Is Turing Computable.
Proceedings of the Automata, 1999

1998
Recursively Enumerable Subsets of Rq in Two Computing Models: Blum-Shub-Smale Machine and Turing Machine.
Theor. Comput. Sci., 1998

Derivatives of Computable Functions.
Math. Log. Q., 1998

1996
The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable.
CCA, 1996


  Loading...