Computable measure theory

From Free net encyclopedia

In mathematics, computable measure theory is a version of measure theory which deals with computable numbers, as opposed to real numbers which are used in standard measure theory.

Template:Mathanalysis-stub