[1] Jose Ignacio Burgos Gil and Ariel Pacetti. Hecke and Sturm bounds for Hilbert modular forms over real quadratic fields. Math. Comp., 86(306):1949–1978, 2017. [2] Fred Diamond and Jerry Shurman. A first course in modular forms, volume 228 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2005. [3] Fernando Q. Gouvˆea. p-adic numbers. Universitext. Springer-Verlag, Berlin, second edition, 1997. An introduction. [4] Robin Hartshorne. Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer- Verlag, New York-Heidelberg, 1977. [5] Nicholas M. Katz. p-adic properties of modular schemes and modular forms. In Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), Lecture Notes in Math., Vol. 350, pages 69–190. Springer, Berlin, 1973. [6] Alan G. B. Lauder. Computations with classical and p-adic modular forms. LMS J. Comput. Math., 14:214–231, 2011. [7] Yu. I. Manin. Selected papers of Yu. I. Manin, volume 3 of World Scientific Series in 20th Century Mathematics. World Scientific Publishing Co., Inc., River Edge, NJ, 1996. [8] Jean-Pierre Serre. Endomorphismes compl`etement continus des espaces de Banach p-adiques. Inst. Hautes ́Etudes Sci. Publ. Math., (12):69–85, 1962. [9] Joseph H. Silverman. The arithmetic of elliptic curves, volume 106 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1992. Corrected reprint of the 1986 original. [10] The Stacks project authors. The stacks project. https://stacks.math.columbia.edu/tag/ 073K, 2022. [11] William Stein. Modular forms, a computational approach, volume 79 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2007. With an appendix by Paul E. Gunnells. [12] Daqing Wan. Dimension variation of classical and p-adic modular forms. Invent. Math., 133(2):449–463, 1998