Journal Publications (22)
Conference Proceedings (6)
Technical Report: Computation on the Extended Complex Plane and Conformal ...
Proceedings of the Fifth International Conference on Computability and Complexity in Analysis (CCA 2008) (2008)
We introduce a system for computation on the extended complex plane based on the Type-Two Effectivity approach to computable analysis. ...