A flexible method for applying Chabauty's Theorem

A strategy is proposed for applying Chabauty's Theorem to hyperelliptic curves of genus > 1. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details...