|
email: zhengx@arcadia.edu |
|
Calculus (I, II and III)
Linear Algebra
Abstract Algebra
Introduction to Analysis
Data Structure
Theory of Computation
To see my teaching in BTU Cottbus, please click HERE and my teaching in the University of Cincinnaty please click HERE.
2009 Spring: MW 10:00am - 11:am; THF 3:00pm - 5:00pm, or by appointment.
Computation Theory
Algorithmic Foundation of Numeric Computation
Computability and Complexity in Analysis ( CCA)
Mathematical Logic
Foundation of Mathematics.
CCA 2010 (Seventh International Conference on Computability and Complexity in Analysis, Zhenjiang, China)
R. Rettinger and X. Zheng. Points on Computable Curves of Computable Lengths. MFCS 2009: 736-743.
R. Rettinger and X. Zheng. On the computability of the rectifiable simple curves. CCA 2009. Informatik Berichte 353-7/2009, Hagen University, 243-253.
X. Zheng. Classification of Computably Approximable Real Numbers Theory of Computing Systems, Vol. 43(2008), No. 3-4, 603-624.
X. Zheng. A hierarchy of computably enumerable reals Fundamenta Informaticae, Vol. 83 (2008), 219 - 230.
X. Zheng. A computability theory of real numbers CCA'08, August 21-24, Hagen, Germany 2008
Q. Chen, K. Su and X. Zheng. Primitive recursive real numbers.Mathematical Logic Quarterly, Vol. 53(2007), No. 4/5, 345 -- 360.
X. Zheng. On the hierarchy of Delta_2 real numbers, Theor.Inform. Appl. 41(2007), no.1, 3--25.
X. Zheng. Initially-bounded computability and hierarchy of computably enumerable sets, COCOON 07, Banff, Canada, July 16-19, 2007.
X. Zheng. Finitely bounded effective computability, CCA'07, June 16-18, 2007, Siena, Italy.
Y. Fan, D. Ding and X. Zheng. Totally d-c.e. Real Numbers, CiE 2007, Siena, Italy, June 19-23, 2007.
R. Rettinger and X. Zheng. A hierarchy of Turing degrees for divergence bounded computable real numbers, J. Complexity. Vol. 22 (2006), No. 6, 818-826.
X. Zheng, D. Lu and K. Bao. Divergence bounded computable real numbers, Theor. Comput. Sci., Vol. 351(2006), 27-38.
K. Su, Q. Chen, A. Sattar, W. Yue, G. Lv and X. Zheng. Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(2006), No. 6, 932 -- 943, Springer-Verlag.
Q. Chen, K. Su and X. Zheng. Primitive Recursiveness of Real Numbers under Different Representations, CCA 2006, Florida, USA, ENTCS 167(2007), 303--304, Elsevier.
K. Su, Q. Chen, X. Zheng and W. Yue. Reasoning about Knowledge by SAT Solving, CIS 2006, pp536--539, Guangzhou China, IEEE Press.
X. Zheng. A computability theory of real numbers. CiE 2006, 30 June - 5 July, Swansea. LNCS 3988, pp 584 -594.
A full list of my publications, can be found here.
Here is my publication lists in DBLP and MathSciNet.