Constructive analysis

In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.