Arithmetic and computational aspects of modular forms over global fields