2 papers
math.NA2019
Randomized Computation of Continuous Data: Is Brownian Motion Computable?
Willem Fouché, Hyunwoo Lee, Donghyun Lim +3
We consider randomized computation of continuous data in the sense of Computable Analysis. Our first contribution formally confirms that it is no loss of generality to take as samp…
cs.LO2018
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova +1
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heav…