2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.CG2012
Point-Separable Classes of Simple Computable Planar Curves
Xizhong Zheng, Robert Rettinger
In mathematics curves are typically defined as the images of continuous real functions (parametrizations) defined on a closed interval. They can also be defined as connected one-di…
cs.CC2010
Proceedings Seventh International Conference on Computability and Complexity in Analysis
Xizhong Zheng, Ning Zhong
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Co…
cs.CC2010★ 2 cited
On the Weak Computability of Continuous Real Functions
Matthew S. Bauer, Xizhong Zheng
In computable analysis, sequences of rational numbers which effectively converge to a real number x are used as the (rho-) names of x. A real number x is computable if it has a com…