Certifying non-existence of integer points on curves

Bogdan Grechuk, Eugene Go

We present an elementary but powerful method for proving that a two-variable equation has no integer solutions. The method produces quadratic identities which every integer solutio…