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

\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[PAR]{pari}
PARI, \emph{A computer algebra system designed for fast computations in number
  theory}, \url{http://pari.math.u-bordeaux.fr/}.

\end{thebibliography}
