The branch of algebraic topology which deals with homotopy groups. Homotopy methods can be used to solve systems of polynomials by embedding the polynomials in a family of systems that define the deformation of the original problem into a simpler one whose solutions are known.