A number of results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology, but the results are not so widely understood. This book provides information on a significant part of these results. It focuses on the equivariant methods, based on the Borsuk-Ulam theorem and its generalizations.