Constructive Algebraic Topology

Julio Rubio, Francis Sergeraert

The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to de…