Overconvergent Modular Forms, Theoretical and Computational Aspects