101 citations · 491 across the 53 of their papers we have counts for
1 paper · 2 filters
Arno Pauly, Martin Ziegler
A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theore…