CoCalc Shared Fileswww / papers / icms / icms_2010.bblOpen in CoCalc with one click!
Author: William A. Stein
1
\newcommand{\etalchar}[1]{$^{#1}$}
2
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
3
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
4
% \MRhref is called by the amsart/book/proc definition of \MR.
5
\providecommand{\MRhref}[2]{%
6
\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
7
}
8
\providecommand{\href}[2]{#2}
9
\begin{thebibliography}{DGPS10}
10
11
\bibitem[B{\etalchar{+}}]{ginac}
12
Christian Bauer et~al., \emph{Ginac: is not a {CAS}},
13
\url{http://www.ginac.de/}.
14
15
\bibitem[BBS]{cython}
16
Stefan Behnel, Robert Bradshaw, and Dag Seljebotn, \emph{Cython: {C-Extensions}
17
for {P}ython}, \url{http://www.cython.org/}.
18
19
\bibitem[CES03]{conrad-edixhoven-stein:j1p}
20
B.~Conrad, S.~Edixhoven, and W.\thinspace{}A. Stein, \emph{${J}_1(p)$ {H}as
21
{C}onnected {F}ibers}, Documenta Mathematica \textbf{8} (2003), 331--408.
22
23
\bibitem[Cre]{mwrank}
24
J.\thinspace{}E. Cremona, \emph{{\tt mwrank} (computer software)},
25
\url{http://www.warwick.ac.uk/staff/J.E.Cremona/mwrank/}.
26
27
\bibitem[D{\etalchar{+}}]{maxima}
28
Robert Dodier et~al., \emph{Maxima: A {C}omputer {A}lgebra {S}ystem},
29
\url{http://maxima.sourceforge.net/}.
30
31
\bibitem[Des06]{icms:mupad2006}
32
Francois Descouens, \emph{Making research on symmetric functions with
33
{M}u{PAD}-{C}ombinat}, Mathematical software---{ICMS} 2006, Lecture Notes in
34
Comput. Sci., vol. 4151, Springer, Berlin, 2006, pp.~407--418.
35
36
\bibitem[DGPS10]{singular}
37
W.~Decker, G.-M. Greuel, G.~Pfister, and H.~Sch{\"o}nemann, \emph{{\sc
38
Singular} {3-1-1} --- {A} computer algebra system for polynomial
39
computations}, \url{http://www.singular.uni-kl.de}.
40
41
\bibitem[ES]{pynac}
42
Burcin Erocal and William Stein, \emph{Pynac -- symbolic computation with
43
python objects}, \url{http://pynac.sagemath.org/}.
44
45
\bibitem[Goo]{googledocs}
46
Google, \emph{{G}oogle {D}ocuments}, \url{http://docs.google.com/}.
47
48
\bibitem[GS]{M2}
49
Daniel~R. Grayson and Michael~E. Stillman, \emph{Macaulay2, a software system
50
for research in algebraic geometry}, Available at
51
\href{http://www.math.uiuc.edu/Macaulay2/}%
52
{http://www.math.uiuc.edu/Macaulay2/}.
53
54
\bibitem[H{\etalchar{+}}]{mpir}
55
Bill Hart et~al., \emph{{MPIR}: {M}ultiprecision {I}ntegers and {R}ationals},
56
\url{http://www.mpir.org/}.
57
58
\bibitem[Har07]{harvey:padicheights}
59
David Harvey, \emph{Efficient computation of p-adic heights},
60
\url{http://arxiv.org/abs/0708.3404}.
61
62
\bibitem[HH]{flint}
63
Bill Hart and David Harvey, \emph{Flint: Fast library for number theory},
64
\url{http://www.flintlib.org/}.
65
66
\bibitem[HT05]{mupad-hivert-thiery}
67
Florent Hivert and Nicolas~M. Thi{\'e}ry, \emph{Mu{PAD}-{C}ombinat, an
68
open-source package for research in algebraic combinatorics}, S\'em. Lothar.
69
Combin. \textbf{51} (2004/05), Art. B51z, 70 pp. (electronic),
70
\url{http://www.emis.de/journals/SLC/wpapers/s51thiery.html}.
71
72
\bibitem[Jen]{gfan}
73
Anders Jensen, \emph{Gfan: software for computing {G}r\"obner fans and tropical
74
varieties},
75
\url{http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html}.
76
77
\bibitem[L{\etalchar{+}}]{gap}
78
Steve Linton et~al., \emph{Gap: Groups, algorithms and programming},
79
\url{http://www.gap-system.org/}.
80
81
\bibitem[LHK{\etalchar{+}}]{science_openmath}
82
S.~Linton, K.~Hammond, A.~Konovalov, et~al., \emph{{E}asy {C}omposition of
83
{S}ymbolic {C}omputation {S}oftware: {A} {N}ew {L}ingua {F}ranca for
84
{S}ymbolic {C}omputation},
85
\url{www.win.tue.nl/~droozemo/site/pubs/1004ISSAC2010.pdf}.
86
87
\bibitem[MST06]{mazur-stein-tate:padic}
88
Barry Mazur, William Stein, and John Tate, \emph{Computation of {$p$}-adic
89
heights and log convergence}, Doc. Math. (2006), no.~Extra Vol., 577--614
90
(electronic). \MR{MR2290599 (2007i:11089)}
91
92
\bibitem[PAR]{pari}
93
PARI, \emph{A computer algebra system designed for fast computations in number
94
theory}, \url{http://pari.math.u-bordeaux.fr/}.
95
96
\bibitem[Ros]{python}
97
Guido~van Rossum, \emph{Python}, \url{http://www.python.org}.
98
99
\bibitem[Saga]{components}
100
Sage, \emph{Components}, \url{http://sagemath.org/links-components.html}.
101
102
\bibitem[Sagb]{sagedays}
103
\bysame, \emph{Sage days workshops}, \url{http://wiki.sagemath.org/Workshops}.
104
105
\bibitem[Sho]{ntl}
106
V.~Shoup, \emph{\protect{NTL: Number} theory library},
107
\url{http://www.shoup.net/ntl/}.
108
109
\bibitem[SJ05]{joyner-stein:sigsam}
110
William Stein and David Joyner, \emph{Open source mathematical software}, ACM
111
SIGSAM Bulletin \textbf{39} (2005).
112
113
\bibitem[SJ07]{joyner-stein:notices}
114
\bysame, \emph{Open source mathematical software}, Notices Amer. Math. Soc.
115
(2007), \url{http://www.ams.org/notices/200710/tx071001279p.pdf}.
116
117
\bibitem[SW10]{stein-wuthrich}
118
W.~Stein and C.~Wuthrich, \emph{Computations {A}bout {T}ate-{S}hafarevich
119
{G}roups {U}sing {I}wasawa {T}heory}, In preparation (2010),
120
\url{http://wstein.org/papers/shark/}.
121
122
\bibitem[T{\etalchar{+}}]{sagecombinatroadmap}
123
N.~Thiery et~al., \emph{Sage {C}ombinat {R}oadmap},
124
\url{http://trac.sagemath.org/sage_trac/wiki/SageCombinatRoadMap}.
125
126
\bibitem[Wol]{mathematica:internals}
127
Wolfram, \emph{Why you do not usually need to know about internals},
128
\url{http://reference.wolfram.com/mathematica/tutorial/WhyYouDoNotUsuallyNee%
129
dToKnowAboutInternals.html}.
130
131
\bibitem[Z{\etalchar{+}}]{mpfr}
132
Paul Zimmerman et~al., \emph{The {MPFR} {L}ibrary}, \url{http://www.mpfr.org/}.
133
134
\end{thebibliography}
135