\newcommand{\etalchar}[1]{$^{#1}$}
\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}{DGPS10}

\bibitem[B{\etalchar{+}}]{ginac}
Christian Bauer et~al., \emph{Ginac: is not a {CAS}},
  \url{http://www.ginac.de/}.

\bibitem[BBS]{cython}
Stefan Behnel, Robert Bradshaw, and Dag Seljebotn, \emph{Cython: {C-Extensions}
  for {P}ython}, \url{http://www.cython.org/}.

\bibitem[CES03]{conrad-edixhoven-stein:j1p}
B.~Conrad, S.~Edixhoven, and W.\thinspace{}A. Stein, \emph{${J}_1(p)$ {H}as
  {C}onnected {F}ibers}, Documenta Mathematica \textbf{8} (2003), 331--408.

\bibitem[Cre]{mwrank}
J.\thinspace{}E. Cremona, \emph{{\tt mwrank} (computer software)},
  \url{http://www.warwick.ac.uk/staff/J.E.Cremona/mwrank/}.

\bibitem[D{\etalchar{+}}]{maxima}
Robert Dodier et~al., \emph{Maxima: A {C}omputer {A}lgebra {S}ystem},
  \url{http://maxima.sourceforge.net/}.

\bibitem[Des06]{icms:mupad2006}
Francois Descouens, \emph{Making research on symmetric functions with
  {M}u{PAD}-{C}ombinat}, Mathematical software---{ICMS} 2006, Lecture Notes in
  Comput. Sci., vol. 4151, Springer, Berlin, 2006, pp.~407--418.

\bibitem[DGPS10]{singular}
W.~Decker, G.-M. Greuel, G.~Pfister, and H.~Sch{\"o}nemann, \emph{{\sc
  Singular} {3-1-1} --- {A} computer algebra system for polynomial
  computations}, \url{http://www.singular.uni-kl.de}.

\bibitem[ES]{pynac}
Burcin Erocal and William Stein, \emph{Pynac -- symbolic computation with
  python objects}, \url{http://pynac.sagemath.org/}.

\bibitem[Goo]{googledocs}
Google, \emph{{G}oogle {D}ocuments}, \url{http://docs.google.com/}.

\bibitem[GS]{M2}
Daniel~R. Grayson and Michael~E. Stillman, \emph{Macaulay2, a software system
  for research in algebraic geometry}, Available at
  \href{http://www.math.uiuc.edu/Macaulay2/}%
  {http://www.math.uiuc.edu/Macaulay2/}.

\bibitem[H{\etalchar{+}}]{mpir}
Bill Hart et~al., \emph{{MPIR}: {M}ultiprecision {I}ntegers and {R}ationals},
  \url{http://www.mpir.org/}.

\bibitem[Har07]{harvey:padicheights}
David Harvey, \emph{Efficient computation of p-adic heights},
  \url{http://arxiv.org/abs/0708.3404}.

\bibitem[HH]{flint}
Bill Hart and David Harvey, \emph{Flint: Fast library for number theory},
  \url{http://www.flintlib.org/}.

\bibitem[HT05]{mupad-hivert-thiery}
Florent Hivert and Nicolas~M. Thi{\'e}ry, \emph{Mu{PAD}-{C}ombinat, an
  open-source package for research in algebraic combinatorics}, S\'em. Lothar.
  Combin. \textbf{51} (2004/05), Art. B51z, 70 pp. (electronic),
  \url{http://www.emis.de/journals/SLC/wpapers/s51thiery.html}.

\bibitem[Jen]{gfan}
Anders Jensen, \emph{Gfan: software for computing {G}r\"obner fans and tropical
  varieties},
  \url{http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html}.

\bibitem[L{\etalchar{+}}]{gap}
Steve Linton et~al., \emph{Gap: Groups, algorithms and programming},
  \url{http://www.gap-system.org/}.

\bibitem[LHK{\etalchar{+}}]{science_openmath}
S.~Linton, K.~Hammond, A.~Konovalov, et~al., \emph{{E}asy {C}omposition of
  {S}ymbolic {C}omputation {S}oftware: {A} {N}ew {L}ingua {F}ranca for
  {S}ymbolic {C}omputation},
  \url{www.win.tue.nl/~droozemo/site/pubs/1004ISSAC2010.pdf}.

\bibitem[MST06]{mazur-stein-tate:padic}
Barry Mazur, William Stein, and John Tate, \emph{Computation of {$p$}-adic
  heights and log convergence}, Doc. Math. (2006), no.~Extra Vol., 577--614
  (electronic). \MR{MR2290599 (2007i:11089)}

\bibitem[PAR]{pari}
PARI, \emph{A computer algebra system designed for fast computations in number
  theory}, \url{http://pari.math.u-bordeaux.fr/}.

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

\bibitem[Saga]{components}
Sage, \emph{Components}, \url{http://sagemath.org/links-components.html}.

\bibitem[Sagb]{sagedays}
\bysame, \emph{Sage days workshops}, \url{http://wiki.sagemath.org/Workshops}.

\bibitem[Sho]{ntl}
V.~Shoup, \emph{\protect{NTL: Number} theory library},
  \url{http://www.shoup.net/ntl/}.

\bibitem[SJ05]{joyner-stein:sigsam}
William Stein and David Joyner, \emph{Open source mathematical software}, ACM
  SIGSAM Bulletin \textbf{39} (2005).

\bibitem[SJ07]{joyner-stein:notices}
\bysame, \emph{Open source mathematical software}, Notices Amer. Math. Soc.
  (2007), \url{http://www.ams.org/notices/200710/tx071001279p.pdf}.

\bibitem[SW10]{stein-wuthrich}
W.~Stein and C.~Wuthrich, \emph{Computations {A}bout {T}ate-{S}hafarevich
  {G}roups {U}sing {I}wasawa {T}heory}, In preparation (2010),
  \url{http://wstein.org/papers/shark/}.

\bibitem[T{\etalchar{+}}]{sagecombinatroadmap}
N.~Thiery et~al., \emph{Sage {C}ombinat {R}oadmap},
  \url{http://trac.sagemath.org/sage_trac/wiki/SageCombinatRoadMap}.

\bibitem[Wol]{mathematica:internals}
Wolfram, \emph{Why you do not usually need to know about internals},
  \url{http://reference.wolfram.com/mathematica/tutorial/WhyYouDoNotUsuallyNee%
dToKnowAboutInternals.html}.

\bibitem[Z{\etalchar{+}}]{mpfr}
Paul Zimmerman et~al., \emph{The {MPFR} {L}ibrary}, \url{http://www.mpfr.org/}.

\end{thebibliography}
