Computational and theoretical aspects of modular forms