\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{MTT86}

\bibitem[Aga00]{agashe:phd}
A.~Agashe, \emph{The {B}irch and {S}winnerton-{D}yer formula for modular
  abelian varieties of analytic rank~$0$}, Ph.D. thesis, University of
  California, Berkeley (2000).

\bibitem[AL70]{atkin-lehner}
A.\thinspace{}O.\thinspace{}L. Atkin and J.~Lehner, \emph{Hecke operators on
  \protect{$\Gamma \sb{0}(m)$}}, Math. Ann. \textbf{185} (1970), 134--160.

\bibitem[Bas96]{basmaji:thesis}
Jacques Basmaji, \emph{Ein algorithmus zur berechnung von hecke-operatoren und
  anwendungen auf modulare kurven}, {\tt
  http://modular.fas.harvard.edu/scans/papers/basmaji/} (1996).

\bibitem[BCP97]{magma}
W.~Bosma, J.~Cannon, and C.~Playoust, \emph{The {M}agma algebra system. {I}.
  {T}he user language}, J. Symbolic Comput. \textbf{24} (1997), no.~3--4,
  235--265, Computational algebra and number theory (London, 1993). \MR{1 484
  478}

\bibitem[Bir71]{birch:bsd}
B.\thinspace{}J. Birch, \emph{Elliptic curves over \protect{${\mathbf{Q}}$:
  {A}} progress report}, 1969 Number Theory Institute (Proc. Sympos. Pure
  Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), Amer. Math.
  Soc., Providence, R.I., 1971, pp.~396--400.

\bibitem[Buz96]{buzzard:t2}
Kevin Buzzard, \emph{On the eigenvalues of the {H}ecke operator {$T\sb 2$}}, J.
  Number Theory \textbf{57} (1996), no.~1, 130--132. \MR{96m:11033}

\bibitem[CO77]{cohen-oesterle:dimensions}
H.~Cohen and J.~Oesterl{\'e}, \emph{Dimensions des espaces de formes
  modulaires}, 69--78. Lecture Notes in Math., Vol. 627. \MR{57 \#12396}

\bibitem[Coh93]{cohen:course_ant}
H.~Cohen, \emph{A course in computational algebraic number theory},
  Springer-Verlag, Berlin, 1993. \MR{94i:11105}

\bibitem[Cre92]{cremona:gammaone}
J.\thinspace{}E. Cremona, \emph{Modular symbols for \protect{$\Gamma\sb
  1({N})$} and elliptic curves with everywhere good reduction}, Math. Proc.
  Cambridge Philos. Soc. \textbf{111} (1992), no.~2, 199--218.

\bibitem[Cre97]{cremona:algs}
\bysame, \emph{Algorithms for modular elliptic curves}, second ed., Cambridge
  University Press, Cambridge, 1997, Complete text available at {\tt
  http://www.maths.nott.ac.uk/personal/jec/book/}.

\bibitem[CWZ01]{csirik-wetherell-zieve:g0}
Janos~A. Csirik, Joseph~L. Wetherell, and Michael~E. Zieve, \emph{On the genera
  of {$X_0(N)$}}, See {\tt http://www.csirik.net/papers.html} (2001).

\bibitem[Dem04]{dembele}
Lassina Dembele, \emph{Quaternionic modular symbols and computing {H}ilbert
  modular forms, \hfill\mbox{} {\tt
  http://modular.fas.harvard.edu/mcs/archive/spring2004/dembele.html}}.

\bibitem[DI95]{diamond-im}
F.~Diamond and J.~Im, \emph{Modular forms and modular curves}, Seminar on
  {F}ermat's {L}ast {T}heorem, Providence, RI, 1995, pp.~39--133.

\bibitem[Did01]{diderot:thesis}
Denis Diderot, \emph{P\'eriodes de formes modulaires de poids 1}, {\tt
  http://modular.fas.harvard.edu/scans/papers/diderot/} (2001).

\bibitem[DP04]{darmon-pollack}
H.~Darmon and R.~Pollack, \emph{The efficient calculation of {S}tark-{H}eegner
  points via overconvergent modular symbols}.

\bibitem[FJ02]{farmer-james:maeda}
D.~W. Farmer and K.~James, \emph{The irreducibility of some level 1 {H}ecke
  polynomials}, Math. Comp. \textbf{71} (2002), no.~239, 1263--1270
  (electronic). \MR{2003e:11046}

\bibitem[FM99]{frey-muller}
G.~Frey and M.~M{\"u}ller, \emph{Arithmetic of modular curves and
  applications}, Algorithmic algebra and number theory (Heidelberg, 1997),
  Springer, Berlin, 1999, pp.~11--48.

\bibitem[Gor]{gordon:dlp}
D.~Gordon, \emph{Discrete logarithm problem, \hfill\\ {\tt
  http://www.win.tue.nl/\~{ }henkvt/content.html}}.

\bibitem[Gor93]{gordon:dlog}
Daniel~M. Gordon, \emph{Discrete logarithms in {${\rm GF}(p)$} using the number
  field sieve}, SIAM J. Discrete Math. \textbf{6} (1993), no.~1, 124--138.
  \MR{94d:11104}

\bibitem[Hij74]{hijikata:trace}
H.~Hijikata, \emph{Explicit formula of the traces of \protect{H}ecke operators
  for \protect{$\Gamma_0(N)$}}, J. Math. Soc. Japan \textbf{26} (1974), no.~1,
  56--82.

\bibitem[Iwa97]{iwaniec:topics}
Henryk Iwaniec, \emph{Topics in classical automorphic forms}, Graduate Studies
  in Mathematics, vol.~17, American Mathematical Society, Providence, RI, 1997.
  \MR{98e:11051}

\bibitem[Kna92]{knapp:elliptic}
A.\thinspace{}W. Knapp, \emph{Elliptic curves}, Princeton University Press,
  Princeton, NJ, 1992.

\bibitem[Knu]{knuth2}
Donald~E. Knuth, \emph{The art of computer programming. {V}ol. 2}, third ed.,
  Addison-Wesley Publishing Co., Reading, Mass., Seminumerical algorithms,
  Addison-Wesley Series in Computer Science and Information Processing.

\bibitem[Lan95]{lang:modular}
S.~Lang, \emph{Introduction to modular forms}, Springer-Verlag, Berlin, 1995,
  With appendixes by D. Zagier and W. Feit, Corrected reprint of the 1976
  original.

\bibitem[Lem01]{lemelin:dominic}
Dominic Lemelin, \emph{Mazur-tate type conjectures for elliptic curves defined
  over quadratic imaginary fields}.

\bibitem[Li75]{winnie:newforms}
W-C. Li, \emph{Newforms and functional equations}, Math. Ann. \textbf{212}
  (1975), 285--315.

\bibitem[Man72]{manin:parabolic}
J.\thinspace{}I. Manin, \emph{Parabolic points and zeta functions of modular
  curves}, Izv. Akad. Nauk SSSR Ser. Mat. \textbf{36} (1972), 19--66. \MR{47
  \#3396}

\bibitem[Maz73]{mazur:symboles}
B.~Mazur, \emph{Courbes elliptiques et symboles modulaires}, S\'eminaire
  Bourbaki, 24\`eme ann\'ee (1971/1972), Exp. No. 414, Springer, Berlin, 1973,
  pp.~277--294. Lecture Notes in Math., Vol. 317. \MR{55 \#2930}

\bibitem[Mer94]{merel:1585}
L.~Merel, \emph{Universal \protect{F}ourier expansions of modular forms}, On
  {A}rtin's conjecture for odd 2-dimensional representations, Springer, 1994,
  pp.~59--94.

\bibitem[Miy89]{miyake}
T.~Miyake, \emph{Modular forms}, Springer-Verlag, Berlin, 1989, Translated from
  the Japanese by Yoshitaka Maeda.

\bibitem[MTT86]{mtt}
B.~Mazur, J.~Tate, and J.~Teitelbaum, \emph{On {$p$}-adic analogues of the
  conjectures of {B}irch and {S}winnerton-{D}yer}, Invent. Math. \textbf{84}
  (1986), no.~1, 1--48. \MR{MR830037 (87e:11076)}

\bibitem[Nec94]{nechaev:lower}
V.~I. Nechaev, \emph{On the complexity of a deterministic algorithm for a
  discrete logarithm}, Mat. Zametki \textbf{55} (1994), no.~2, 91--101, 189.
  \MR{96a:11145}

\bibitem[Ros]{python}
Guido~van Rossum, \emph{Python,\newline{\tt http://www.python.org}}.

\bibitem[Ser73]{serre:arithmetic}
J-P. Serre, \emph{A \protect{C}ourse in \protect{A}rithmetic}, Springer-Verlag,
  New York, 1973, Translated from the French, Graduate Texts in Mathematics,
  No. 7.

\bibitem[Ser97]{serre:asymptotique}
Jean-Pierre Serre, \emph{R\'epartition asymptotique des valeurs propres de
  l'op\'erateur de {H}ecke {$T\sb p$}}, J. Amer. Math. Soc. \textbf{10} (1997),
  no.~1, 75--102. \MR{97h:11048}

\bibitem[Shi94]{shimura:intro}
G.~Shimura, \emph{Introduction to the arithmetic theory of automorphic
  functions}, Princeton University Press, Princeton, NJ, 1994, Reprint of the
  1971 original, Kan Memorial Lectures, 1.

\bibitem[Sho97]{shoup:lower}
Victor Shoup, \emph{Lower bounds for discrete logarithms and related problems},
  Advances in cryptology---EUROCRYPT '97 (Konstanz), Lecture Notes in Comput.
  Sci., vol. 1233, Springer, Berlin, 1997, pp.~256--266. \MR{98j:94023}

\bibitem[{\v{S}}ok80]{sokurov:shimura}
V.\thinspace{}V. {\v{S}}okurov, \emph{Shimura integrals of cusp forms}, Izv.
  Akad. Nauk SSSR Ser. Mat. \textbf{44} (1980), no.~3, 670--718, 720.
  \MR{MR582162 (82b:10029)}

\bibitem[Ste99]{stein:hecke}
W.\thinspace{}A. Stein, \emph{\protect{{\tt HECKE}: The} modular symbols
  calculator}, Software (available online) (1999).

\bibitem[Ste00]{stein:phd}
\bysame, \emph{Explicit approaches to modular abelian varieties}, Ph.D. thesis,
  University of California, Berkeley (2000).

\bibitem[Ste03]{math252}
William Stein, \emph{Modular abelian varieties, \hfill\mbox{} {\tt
  http://modular.fas.harvard.edu/edu/fall2003/252/}}.

\end{thebibliography}
