Homotopy continuation