\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}{BCIO01}

\bibitem[AGM02]{gunnells:computation}
Avner Ash, Paul~E. Gunnells, and Mark McConnell, \emph{Cohomology of congruence
  subgroups of {${\rm SL}\sb 4(\Bbb Z)$}}, J. Number Theory \textbf{94} (2002),
  no.~1, 181--212.

\bibitem[ARS06]{agashe-ribet-stein:manin}
A.~Agashe, K.\thinspace{}A. Ribet, and W.\thinspace{}A. Stein, \emph{The
  {M}anin {C}onstant}, JPAM Coates Volume (2006),
  \url{http://modular.math.washington.edu/papers/ars-manin/}.

\bibitem[AS05]{agashe-stein:bsd}
A.~Agashe and W.~Stein, \emph{Visible evidence for the {B}irch and
  {S}winnerton-{D}yer conjecture for modular abelian varieties of analytic rank
  zero}, Math. Comp. \textbf{74} (2005), no.~249, 455--484 (electronic), With
  an appendix by J.\ Cremona and B.\ Mazur. \MR{2085902}

\bibitem[Ash92]{ash:galrep}
Avner Ash, \emph{Galois representations attached to mod {$p$} cohomology of
  {${\rm GL}(n,{\bf Z})$}}, Duke Math. J. \textbf{65} (1992), no.~2, 235--255.

\bibitem[BCIO01]{coul}
Ricardo Baeza, Renaud Coulangeon, Maria~Ines Icaza, and Manuel O'Ryan,
  \emph{Hermite's constant for quadratic number fields}, Experiment. Math.
  \textbf{10} (2001), no.~4, 543--551.

\bibitem[Bes04]{MR2076563}
Amnon Besser, \emph{The {$p$}-adic height pairings of {C}oleman-{G}ross and of
  {N}ekov\'a\v r}, Number theory, CRM Proc. Lecture Notes, vol.~36, Amer. Math.
  Soc., Providence, RI, 2004, pp.~13--25. \MR{MR2076563 (2005f:11130)}

\bibitem[CF99]{conrey-farmer:nonvanish}
J.\thinspace{}B. Conrey and D.\thinspace{}W. Farmer, \emph{Hecke operators and
  the nonvanishing of {$L$}-functions}, Topics in number theory (University
  Park, PA, 1997), Math. Appl., vol. 467, Kluwer Acad. Publ., Dordrecht, 1999,
  pp.~143--150. \MR{2000f:11055}

\bibitem[Col91]{MR1091621}
Robert~F. Coleman, \emph{The universal vectorial bi-extension and {$p$}-adic
  heights}, Invent. Math. \textbf{103} (1991), no.~3, 631--650. \MR{MR1091621
  (92k:14021)}

\bibitem[Col03]{coleman-stein:padicapprox}
R.~Coleman, \emph{Approximation of infinite-slope modular eigenforms by
  finite-slope eigenforms}, to appear in the Dwork Proceedings (2003).

\bibitem[CS01]{conrad-stein:compgroup}
B.~Conrad and W.\thinspace{}A. Stein, \emph{Component groups of purely toric
  quotients}, Math. Res. Lett. \textbf{8} (2001), no.~5-6, 745--766.
  \MR{2003f:11087}

\bibitem[Dia95]{diamond:refined}
F.~Diamond, \emph{The refined conjecture of \protect{S}erre}, Elliptic curves,
  modular forms, \& \protect{F}ermat's last theorem (\protect{H}ong
  \protect{K}ong, 1993) (Cambridge, MA), Internat. Press, 1995, pp.~22--37.

\bibitem[Edi]{edixhoven:kedlaya}
B.~Edixhoven, \emph{Point counting after {K}edlaya, {E}{I}{D}{M}{A}-{S}tieltjes
  graduate course, {L}eiden, {S}eptember 22-26,2003,\hfill\\ {\tt
  http://www.math.leidenuniv.nl/~edix/oww/mathofcrypt/carls\_edixhoven/kedlaya%
.pdf}}.

\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[GL01]{gonz-lario:manin}
Josep Gonz{\'a}lez and Joan-C. Lario, \emph{{$\bold Q$}-curves and their
  {M}anin ideals}, Amer. J. Math. \textbf{123} (2001), no.~3, 475--503.
  \MR{MR1833149 (2002e:11070)}

\bibitem[Gun00]{gunnells:experimental}
P.~E. Gunnells, \emph{Computing {H}ecke eigenvalues below the cohomological
  dimension}, Experiment. Math. \textbf{9} (2000), no.~3, 351--367. \MR{1 795
  307}

\bibitem[Har]{harder-arbeit}
G.~Harder, \emph{Congruences between modular forms of genus 1 and of genus 2},
  Arbeitstagung.

\bibitem[IW03]{MR2021039}
Adrian Iovita and Annette Werner, \emph{{$p$}-adic height pairings on abelian
  varieties with semistable ordinary reduction}, J. Reine Angew. Math.
  \textbf{564} (2003), 181--203. \MR{MR2021039 (2004j:11066)}

\bibitem[Ked01]{kedlaya:counting_mw}
Kiran~S. Kedlaya, \emph{Counting points on hyperelliptic curves using
  {M}onsky-{W}ashnitzer cohomology}, J. Ramanujan Math. Soc. \textbf{16}
  (2001), no.~4, 323--338. \MR{MR1877805 (2002m:14019)}

\bibitem[Ked04]{kedlaya:mw2}
K.~Kedlaya, \emph{Computing zeta functions via {$p$}-adic cohomology},
  Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 3076,
  Springer, Berlin, 2004, pp.~1--17.

\bibitem[KS00]{kohel-stein:ants4}
D.\thinspace{}R. Kohel and W.\thinspace{}A. Stein, \emph{Component {G}roups of
  {Q}uotients of \protect{$J_0(N)$}}, Proceedings of the 4th International
  Symposium (ANTS-IV), Leiden, Netherlands, July 2--7, 2000 (Berlin), Springer,
  2000.

\bibitem[MM89]{mmc2}
R.~MacPherson and M.~McConnell, \emph{Classical projective geometry and modular
  varieties}, Algebraic analysis, geometry, and number theory (Baltimore, MD,
  1988), Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp.~237--290.

\bibitem[MM93]{mmc1}
\bysame, \emph{Explicit reduction theory for {S}iegel modular threefolds},
  Invent. Math. \textbf{111} (1993), no.~3, 575--625.

\bibitem[MST06]{mazur-stein-tate:padic}
B.~Mazur, W.~Stein, and J.~Tate, \emph{Computation of $p$-adic heights and log
  convergence}, To appear in Documenta Mathematica's Coates Volume.

\bibitem[MT83]{mazur-tate:canonical}
B.~Mazur and J.~Tate, \emph{Canonical height pairings via biextensions},
  Arithmetic and geometry, Vol. I, Progr. Math., vol.~35, Birkh\"auser Boston,
  Boston, MA, 1983, pp.~195--237. \MR{MR717595 (85j:14081)}

\bibitem[MT87]{mazur-tate:refined}
\bysame, \emph{Refined conjectures of the ``{B}irch and {S}winnerton-{D}yer
  type''}, Duke Math. J. \textbf{54} (1987), no.~2, 711--750. \MR{MR899413
  (88k:11039)}

\bibitem[MT91]{mazur-tate:sigma}
\bysame, \emph{The {$p$}-adic sigma function}, Duke Math. J. \textbf{62}
  (1991), no.~3, 663--688. \MR{93d:11059}

\bibitem[Nek93]{MR1263527}
Jan Nekov{\'a}{\v{r}}, \emph{On {$p$}-adic height pairings}, S\'eminaire de
  Th\'eorie des Nombres, Paris, 1990--91, Progr. Math., vol. 108, Birkh\"auser
  Boston, Boston, MA, 1993, pp.~127--202. \MR{MR1263527 (95j:11050)}

\bibitem[Pla94]{MR1299736}
Andrew Plater, \emph{Supersingular {$p$}-adic height pairings on elliptic
  curves}, Arithmetic geometry (Tempe, AZ, 1993), Contemp. Math., vol. 174,
  Amer. Math. Soc., Providence, RI, 1994, pp.~95--105. \MR{MR1299736
  (95h:11056)}

\bibitem[PR03]{perrin-riou:expmath}
Bernadette Perrin-Riou, \emph{Arithm\'etique des courbes elliptiques \`a
  r\'eduction supersinguli\`ere en {$p$}}, Experiment. Math. \textbf{12}
  (2003), no.~2, 155--186. \MR{MR2016704 (2005h:11138)}

\bibitem[Rib92]{ribet:abvars}
K.\thinspace{}A. Ribet, \emph{Abelian varieties over {${\bf Q}$} and modular
  forms}, Algebra and topology 1992 (Taej\u on), Korea Adv. Inst. Sci. Tech.,
  Taej\u on, 1992, pp.~53--79. \MR{94g:11042}

\bibitem[RS01]{ribet-stein:serre}
K.\thinspace{}A. Ribet and W.\thinspace{}A. Stein, \emph{Lectures on {S}erre's
  conjectures}, Arithmetic algebraic geometry (Park City, UT, 1999), IAS/Park
  City Math. Ser., vol.~9, Amer. Math. Soc., Providence, RI, 2001,
  pp.~143--232. \MR{2002h:11047}

\bibitem[Sch82]{schneider:height1}
Peter Schneider, \emph{{$p$}-adic height pairings. {I}}, Invent. Math.
  \textbf{69} (1982), no.~3, 401--409. \MR{MR679765 (84e:14034)}

\bibitem[Sch85]{schneider:height2}
\bysame, \emph{{$p$}-adic height pairings. {II}}, Invent. Math. \textbf{79}
  (1985), no.~2, 329--374. \MR{MR778132 (86j:11063)}

\bibitem[SJ05]{sage}
W.~Stein and D.~Joyner, \emph{Sage: System for algebra and geometry
  experimentation}, Communications in Computer Algebra (SIGSAM Bulletin)
  \textbf{39} (June 2005), no.~2, {\tt http://sage.sourceforge.net/}.

\bibitem[Sta79]{staffeldt}
R.~E. Staffeldt, \emph{Reduction theory and {$K\sb{3}$} of the {G}aussian
  integers}, Duke Math. J. \textbf{46} (1979), no.~4, 773--798. \MR{552526
  (80m:22014)}

\bibitem[Ste89]{stevens:param}
G.~Stevens, \emph{Stickelberger elements and modular parametrizations of
  elliptic curves}, Invent. Math. \textbf{98} (1989), no.~1, 75--106.
  \MR{90m:11089}

\bibitem[Ste07]{stein:book}
W.~Stein, \emph{Explicitly computing with modular forms}, Graduate Studies in
  Mathematics, American Math Society, 2007.

\bibitem[SW04]{stein-watkins:ns}
W.~Stein and M.~Watkins, \emph{Modular parametrizations of {N}eumann-{S}etzer
  elliptic curves}, Int. Math. Res. Not. (2004), no.~27, 1395--1405.
  \MR{MR2052021 (2005c:11070)}

\bibitem[Zar90]{MR1042777}
Yuri~G. Zarhin, \emph{{$p$}-adic heights on abelian varieties}, S\'eminaire de
  Th\'eorie des Nombres, Paris 1987--88, Progr. Math., vol.~81, Birkh\"auser
  Boston, Boston, MA, 1990, pp.~317--341. \MR{MR1042777 (91f:11043)}

\end{thebibliography}