~ / talks / mazur-explicit-formula / refs /