Ning Zhong

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 9

Top Topics

Numerical Solution

Nonlinear Dynamical Systems

Computational Complexity

Differential Equations

Top Venues

Theor. Comput. Sci.

ACM Trans. Comput. Theory

Publications

Daniel Silva Graça, Ning Zhong
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. Theor. Comput. Sci. 895 (2021)
Daniel Silva Graça, Ning Zhong
Computing the exact number of periodic orbits for planar flows. CoRR (2021)
Daniel Silva Graça, Ning Zhong
Computability of Limit Sets for Two-Dimensional Flows. CiE (2021)
Daniel Silva Graça, Ning Zhong
Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines. CoRR (2021)
Daniel Silva Graça, Ning Zhong
Robustness of non-computability. CoRR (2021)
Shu-Ming Sun, Ning Zhong, Martin Ziegler
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation. Complexity and Approximation (2020)
Daniel Silva Graça, Ning Zhong
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. CoRR (2020)
Daniel Silva Graça, Ning Zhong
Computability of Ordinary Differential Equations. CiE (2018)
Daniel Silva Graça, Cristobal Rojas, Ning Zhong
Computing geometric Lorenz attractors with arbitrary precision. CoRR (2017)
Shu-Ming Sun, Ning Zhong, Martin Ziegler
On Computability of Navier-Stokes' Equation. CiE (2015)
Shu-Ming Sun, Ning Zhong
Computability aspects for 1st-order partial differential equations via characteristics. Theor. Comput. Sci. 583 (2015)
Daniel Silva Graça, Ning Zhong
An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable. Theory Comput. Syst. 57 (2) (2015)
I. Pour-El, Ning Zhong
A Tribute to Marian Boykan Pour-El (1928-2009). J. Log. Comput. 25 (4) (2015)
Shu-Ming Sun, Ning Zhong
On Effective Convergence of Numerical Solutions for Differential Equations. ACM Trans. Comput. Theory 6 (1) (2014)
Olivier Bournez, Daniel Silva Graça, Amaury Pouly, Ning Zhong
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. CiE (2013)
Daniel Silva Graça, Ning Zhong, H. S. Dumas
The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited. Theor. Comput. Sci. 457 (2012)
Daniel Silva Graça, Ning Zhong, Jorge Buescu
Computability, noncomputability, and hyperbolic systems. Appl. Math. Comput. 219 (6) (2012)
Daniel Silva Graça, Ning Zhong
Computability in planar dynamical systems. Nat. Comput. 10 (4) (2011)
Robert Rettinger, Klaus Weihrauch, Ning Zhong
Topological Complexity of Blowup Problems. J. Univers. Comput. Sci. 15 (6) (2009)
Daniel Silva Graça, Ning Zhong
Computing Domains of Attraction for Planar Dynamics. UC (2009)
Ning Zhong
Computable Analysis of Differential Equations (Invited Talk). CCA (2009)
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54 (5) (2008)
Robert Rettinger, Klaus Weihrauch, Ning Zhong
Complexity of Blowup Problems: Extended Abstract. Electron. Notes Theor. Comput. Sci. 221 (2008)
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Computability and Complexity in Analysis. J. Univers. Comput. Sci. 14 (6) (2008)
Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong
Preface. Electron. Notes Theor. Comput. Sci. 202 (2008)
Klaus Weihrauch, Ning Zhong
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). Electron. Notes Theor. Comput. Sci. 167 (2007)
Klaus Weihrauch, Ning Zhong
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. Math. Log. Q. 53 (4-5) (2007)
Ning Zhong
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation. Theory Comput. Syst. 41 (1) (2007)
Klaus Weihrauch, Ning Zhong
An Algorithm for Computing Fundamental Solutions. SIAM J. Comput. 35 (6) (2006)
Klaus Weihrauch, Ning Zhong
Computing Schrödinger propagators on Type-2 Turing machines. J. Complex. 22 (6) (2006)
Klaus Weihrauch, Ning Zhong
Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable? TAMC (2006)
Ning Zhong
Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. CiE (2005)
Klaus Weihrauch, Ning Zhong
An Algorithm for Computing Fundamental Solutions. Electron. Notes Theor. Comput. Sci. 120 (2005)
Klaus Weihrauch, Ning Zhong
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing. Theor. Comput. Sci. 332 (1-3) (2005)
Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong
Preface: MLQ - Math. Log. Quart. 4-5/2004. Math. Log. Q. 50 (4-5) (2004)
Ning Zhong, Klaus Weihrauch
Computatbility theory of generalized functions. J. ACM 50 (4) (2003)
Klaus Weihrauch, Ning Zhong
The Solution Operator of the Korteweg-de Vries Equation is Computable. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong
Preface: MLQ - Math. Log. Quart. Supplement 1/2002. Math. Log. Q. 48 (S1) (2002)
Klaus Weihrauch, Ning Zhong
Turing Computability of a Nonlinear Schrödinger Propagator. COCOON (2001)
William Gay, Bing-Yu Zhang, Ning Zhong
Computability of Solutions of the Korteweg-de Vries Equation. Math. Log. Q. 47 (1) (2001)
Klaus Weihrauch, Ning Zhong
Is the Linear Schrödinger Propagator Turing Computable? CCA (2000)
Klaus Weihrauch, Ning Zhong
The Wave Propagator Is Turing Computable. ICALP (1999)
Ning Zhong
Computability Structure of the Sobolev Spaces and Its Applications. Theor. Comput. Sci. 219 (1-2) (1999)
Bing-Yu Zhang, Ning Zhong
-Computability. Math. Log. Q. 45 (1999)
Ning Zhong
in Two Computing Models: Blum-Shub-Smale Machine and Turing Machine. Theor. Comput. Sci. 197 (1-2) (1998)
Ning Zhong
Derivatives of Computable Functions. Math. Log. Q. 44 (1998)
Marian Boykan Pour-El, Ning Zhong
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable. Math. Log. Q. 43 (1997)
Marian Boykan Pour-El, Ning Zhong
The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable. CCA (1996)