Category:Computable analysis
Computable analysis
is the study of computable analogues of
mathematical analysis
.