CoCalc Shared Fileswww / papers / icms / sage.bibOpen in CoCalc with one click!
Author: William A. Stein
1
@article {mupad-hivert-thiery,
2
AUTHOR = {Hivert, Florent and Thi{\'e}ry, Nicolas M.},
3
TITLE = {Mu{PAD}-{C}ombinat, an open-source package for research in
4
algebraic combinatorics},
5
JOURNAL = {S\'em. Lothar. Combin.},
6
FJOURNAL = {S\'eminaire Lotharingien de Combinatoire},
7
VOLUME = {51},
8
YEAR = {2004/05},
9
PAGES = {Art. B51z, 70 pp. (electronic)},
10
ISSN = {1286-4889},
11
MRCLASS = {05-00 (05-04)},
12
note = {\url{http://www.emis.de/journals/SLC/wpapers/s51thiery.html}}
13
}
14
15
16
@article{mpfr,
17
author = {Paul Zimmerman and others},
18
title = {The {MPFR} {L}ibrary},
19
note = {\url{http://www.mpfr.org/}}
20
}
21
22
@article{mpir,
23
author = {Bill Hart and others},
24
title = {{MPIR}: {M}ultiprecision {I}ntegers and {R}ationals},
25
note = {\url{http://www.mpir.org/}}
26
}
27
28
29
@article{pynac,
30
author = {Burcin Erocal and William Stein},
31
title = {Pynac -- symbolic computation with Python objects},
32
note = {\url{http://pynac.sagemath.org/}}
33
}
34
35
@article{beezer:siam,
36
title = {SIAM {R}eview of {S}age},
37
author = {Beezer, R.},
38
note = {\url{http://buzzard.ups.edu/bookreview/sage-beezer-review.pdf}},
39
volume = {51},
40
number = {4},
41
pages = {785--807},
42
year = {2009}
43
}
44
45
@article{science_openmath,
46
author={S. Linton and K. Hammond and A. Konovalov and others},
47
title={{E}asy {C}omposition of {S}ymbolic {C}omputation {S}oftware: {A} {N}ew {L}ingua {F}ranca for {S}ymbolic {C}omputation},
48
note={\url{www.win.tue.nl/~droozemo/site/pubs/1004ISSAC2010.pdf}}
49
}
50
51
@article{ginac,
52
author = {Christian Bauer and others},
53
title = {GiNaC: is not a {CAS}},
54
note = {\url{http://www.ginac.de/}}
55
}
56
57
@article{maxima,
58
author = {Robert Dodier and others},
59
title = {MAXIMA: A {C}omputer {A}lgebra {S}ystem},
60
note = {\url{http://maxima.sourceforge.net/}},
61
}
62
63
@article{gap,
64
title = {GAP: Groups, Algorithms and Programming},
65
note = {\url{http://www.gap-system.org/}},
66
author = {Steve Linton and others}
67
}
68
69
70
@Article{ gfan,
71
title = {GFan: software for computing {G}r\"obner fans and tropical varieties},
72
author = {Anders Jensen},
73
note = {\url{http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html}}
74
}
75
76
@Misc{M2,
77
author = {Grayson, Daniel R. and Stillman, Michael E.},
78
title = {Macaulay2, a software system for research
79
in algebraic geometry},
80
howpublished = {Available at
81
\href{http://www.math.uiuc.edu/Macaulay2/}%
82
{http://www.math.uiuc.edu/Macaulay2/}}
83
}
84
85
86
@Article{ ntl,
87
title = {\protect{NTL: Number} theory library},
88
author = {Shoup, V.},
89
note = {\url{http://www.shoup.net/ntl/}}
90
}
91
92
@Article{ flint,
93
author = {Bill Hart and David Harvey},
94
title = {FLINT: Fast Library for Number Theory},
95
note = {\url{http://www.flintlib.org/}}
96
}
97
98
@Article{ cython,
99
author = {Stefan Behnel and Robert Bradshaw and Dag Seljebotn},
100
Title = {Cython: {C-Extensions} for {P}ython},
101
note = {\url{http://www.cython.org/}}
102
}
103
104
@Article{ python,
105
author = {Rossum, Guido van},
106
title = {Python},
107
note = {\url{http://www.python.org}}
108
}
109
110
@Article{ mwrank,
111
author = {Cremona, J.\thinspace{}E.},
112
title = {{\tt mwrank} (computer software)},
113
note = {\url{http://www.warwick.ac.uk/staff/J.E.Cremona/mwrank/}}
114
}
115
116
@article{pari,
117
author = {PARI},
118
title = {A computer algebra system designed for fast computations in number theory},
119
note = {\url{http://pari.math.u-bordeaux.fr/}}
120
}
121
122
@article {mazur-stein-tate:padic,
123
AUTHOR = {Mazur, Barry and Stein, William and Tate, John},
124
TITLE = {Computation of {$p$}-adic heights and log convergence},
125
JOURNAL = {Doc. Math.},
126
FJOURNAL = {Documenta Mathematica},
127
YEAR = {2006},
128
NUMBER = {Extra Vol.},
129
PAGES = {577--614 (electronic)},
130
ISSN = {1431-0635},
131
MRCLASS = {11G50 (11F33 11G40 11Y40)},
132
MRNUMBER = {MR2290599 (2007i:11089)},
133
MRREVIEWER = {Thomas A. Weston},
134
}
135
136
@article{stein-wuthrich,
137
AUTHOR = {Stein, W. and Wuthrich, C.},
138
TITLE = {Computations {A}bout {T}ate-{S}hafarevich {G}roups {U}sing {I}wasawa {T}heory},
139
JOURNAL = {In preparation},
140
YEAR = {2010},
141
note = {\url{http://wstein.org/papers/shark/}}
142
}
143
@article{harvey:padicheights,
144
author = {Harvey, David},
145
title = {Efficient computation of p-adic heights},
146
year = {2007},
147
note = {\url{http://arxiv.org/abs/0708.3404}}
148
}
149
150
151
@proceedings {MR2395738,
152
TITLE = {Mathematical software---{ICMS} 2006},
153
SERIES = {Lecture Notes in Computer Science},
154
VOLUME = {4151},
155
BOOKTITLE = {Proceedings of the 2nd {I}nternational {C}ongress held in
156
{C}astro {U}rdiales, {S}eptember 1--3, 2006},
157
EDITOR = {Iglesias, Andr{\'e}s and Takayama, Nobuki},
158
PUBLISHER = {Springer},
159
ADDRESS = {Berlin},
160
YEAR = {2006},
161
PAGES = {xviii+452},
162
ISBN = {978-3-540-38084-9; 3-540-38084-1},
163
MRCLASS = {00B25 (11-06 12-06 20-06 51-06 65-06 68W30 90-06)},
164
MRNUMBER = {MR2395738 (2008j:00021)},
165
DOI = {10.1007/11832225},
166
URL = {http://dx.doi.org.offcampus.lib.washington.edu/10.1007/11832225},
167
}
168
169
@incollection {icms:mupad2006,
170
AUTHOR = {Descouens, Francois},
171
TITLE = {Making research on symmetric functions with
172
{M}u{PAD}-{C}ombinat},
173
BOOKTITLE = {Mathematical software---{ICMS} 2006},
174
SERIES = {Lecture Notes in Comput. Sci.},
175
VOLUME = {4151},
176
PAGES = {407--418},
177
PUBLISHER = {Springer},
178
ADDRESS = {Berlin},
179
YEAR = {2006},
180
MRCLASS = {05E05 (05-04 05E10)},
181
MRREVIEWER = {Ang{\`e}le M. Hamel},
182
DOI = {10.1007/11832225_41},
183
URL = {http://dx.doi.org.offcampus.lib.washington.edu/10.1007/11832225_41},
184
}
185
186
@article{googledocs,
187
Author = {Google},
188
Title = {{G}oogle {D}ocuments},
189
note = {\url{http://docs.google.com/}}
190
}
191
192
193
@Article{ conrad-edixhoven-stein:j1p,
194
author = {Conrad, B. and Edixhoven, S. and Stein, W.\thinspace{}A.},
195
title = {${J}_1(p)$ {H}as {C}onnected {F}ibers},
196
year = 2003,
197
journal = {Documenta Mathematica},
198
volume = {8},
199
pages = {331--408}
200
}
201
202
@article{sagedays,
203
Author = {Sage},
204
Title = {Sage Days Workshops},
205
note = {\url{http://wiki.sagemath.org/Workshops}}
206
}
207
208
@article{sagecombinatroadmap,
209
Author = {N. Thiery and others},
210
Title = {Sage {C}ombinat {R}oadmap},
211
note = {\url{http://trac.sagemath.org/sage_trac/wiki/SageCombinatRoadMap}}
212
}
213
214
@article{matlabmupad,
215
Author = {Mathworks},
216
Title = {{MuPAD} {P}ro {S}upport {R}esources and {F}requently {A}sked {Q}uestions},
217
note = {\url{http://www.mathworks.com/support/faq/mupad.html}}
218
}
219
220
221
@article{components,
222
Author = {Sage},
223
Title = {Components},
224
note = {\url{http://sagemath.org/links-components.html}}
225
}
226
227
@article{joyner-stein:sigsam,
228
author={Stein, William and Joyner, David},
229
title={Open source mathematical software},
230
year={2005},
231
JOURNAL = {ACM SIGSAM Bulletin},
232
volume = {39},
233
issue = {2}
234
}
235
236
@article{joyner-stein:notices,
237
author={Stein, William and Joyner, David},
238
title={Open source mathematical software},
239
year={2007},
240
JOURNAL = {Notices Amer. Math. Soc.},
241
FJOURNAL = {Notices of the American Mathematical Society},
242
note={\url{http://www.ams.org/notices/200710/tx071001279p.pdf}}
243
}
244
245
@article{mathematica:internals,
246
Author = {Wolfram},
247
Title = {Why You Do Not Usually Need to Know about Internals},
248
note = {\url{http://reference.wolfram.com/mathematica/tutorial/WhyYouDoNotUsuallyNeedToKnowAboutInternals.html}}
249
}
250
251
252
@manual{sage,
253
Key = {Sage},
254
Author = {W.\thinspace{}A. Stein and others},
255
Organization = {The Sage Development Team},
256
Title = {{S}age {M}athematics {S}oftware ({V}ersion 4.4.2)},
257
note = {\url{http://www.sagemath.org}},
258
Year = {2010},
259
}
260
261
@article{singular,
262
title = {{\sc Singular} {3-1-1} --- {A} computer algebra system for polynomial computations},
263
year = {2010},
264
author = {Decker, W. and Greuel, G.-M. and Pfister, G. and Sch{\"o}nemann, H.},
265
note = {\url{http://www.singular.uni-kl.de}},
266
}
267
268
@manual{m4ri,
269
key = "M4RI",
270
author = "Martin Albrecht and Gregory Bard",
271
organization = "The M4RI~Team",
272
title = "{The M4RI Library -- Version 20090409}",
273
year = 2009,
274
url = "\url{http://m4ri.sagemath.org}",
275
}
276
277
@article{polybori,
278
title = "PolyBoRi: {A} framework for {G}röbner-basis computations with Boolean polynomials",
279
journal = "Journal of Symbolic Computation",
280
volume = "44",
281
number = "9",
282
pages = "1326 - 1345",
283
year = "2009",
284
note = "Effective Methods in Algebraic Geometry",
285
issn = "0747-7171",
286
doi = "DOI: 10.1016/j.jsc.2008.02.017",
287
url = "http://dx.doi.org/10.1016/j.jsc.2008.02.017",
288
author = "Michael Brickenstein and Alexander Dreyer",
289
keywords = "Boolean Gröbner basis",
290
keywords = "Formal verification",
291
keywords = "Algebraic cryptoanalysis",
292
keywords = "Satisfiability"
293
}
294
295
296
297
298