An algorithm that is effectively computable (see effective
computability). The study of whether or not effective algorithms exist to
compute particular quantities forms the basis of the theory of algorithms.
Link to us