Certification of modular Galois representations

Nicolas Mascot

We show how the output of the algorithm to compute modular Galois representations described in our previous article can be certified. We have used this process to compute certified…