We survey progress from the last few years in explicitly computing with Kim’s non-abelian Chabauty beyond the case of Quadratic Chabauty. We will also describe some ongoing work with a view toward a conjectural algorithm for Effective Faltings.
Links:
[1] http://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/de/node/246