Effective constructions in algebraic topology and applications