An effective Chabauty–Kim theorem
An effective Chabauty–Kim theorem
The Chabauty--Kim method is a method for finding rational points on curves under certain technical conditions, generalising Chabauty's proof of the Mordell conjecture for curves with Mordell--Weil rank less than their genus. We show how the Chabauty--Kim method, when these technical conditions are satisfied in depth 2, may be applied …