2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…