An algorithm to prove holonomic differential equations for modular forms
scientific article; zbMATH DE number 7615273
scientific article