Definition:Computable Real-Valued Function

Definition
Let $D \subseteq \R^n$ be a subset of real cartesian $n$-space.

Let $f : D \to \R$ be a real-valued function on $D$.

Suppose that $f$ is both sequentially computable and computably uniformly continuous.

Then, $f$ is computable.