Computing a database of rigorous Maass forms (Q7286266)

In this short note, the author describes how he ``rigorously'' computes \(35416\) Maass cuspforms on \(\Gamma_0(N)\) across squarefree \(N\) from 1 to 105. Here a Maass cusp form \(f_j\) is said rigorously computed if there is an explicit interval \(I_{j,\lambda}\) for the eigenvalue and explicit intervals \(I_{j, n}\) for the coefficients such that there is exactly one true Maass form\N\[ \Nf_j(z)=\sum_{n \neq 0} a_j(n) \sqrt{y} {K_{ir}}_j (2 \pi |n|y) e^{2 \pi i n x}\N\] \Nwith \(\lambda_j=\frac{1}{4} + r^2_j \in I_{j,\lambda}\) and \(a_j(n) \in I_{j,n}\) for all \(n\).\N\NAll these forms are included The \(L\)-functions and modular forms database (LMFDB) and in this note, the author gives the details how to ``read'' them. The author uses rigorous trace formula, quasimode construction and rigorous Hejhal algorithm for computations. Of course these forms may lead to help important computations, for instance, class numbers. Hence it is a good and useful contribution to the literature\N\NFor the entire collection see [Zbl 08203827].