O que é Infeasibility certificate?

An infeasibility certificate for the linear system $Ax = b$, $Gx \le h$ is a pair $(\lambda \ge 0, \nu)$ with $G^\top\lambda + A^\top\nu = 0$ and $h^\top\lambda + b^\top\nu < 0$.