Explicit Methods in Number Theory