Noun
computable analysis (uncountable) (mathematics, computing theory) Mathematical analysis of computable numbers and functions.