Tools And Techniques For Rational Points On Curves