computable analysis

Noun

 * 1)  Mathematical analysis of computable numbers and functions.