-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbiblio.bib
224 lines (194 loc) · 7.24 KB
/
biblio.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/
%% Created for crb002 at 2017-04-24 13:01:36 -0500
%% Saved with string encoding Unicode (UTF-8)
@book{greenlaw1995,
Author = {Raymond Greenlaw and James Hoover and Walter Ruzzo},
Date-Added = {2017-04-24 17:59:08 +0000},
Date-Modified = {2017-04-24 18:01:30 +0000},
Publisher = {Oxford University Press},
Title = {Limits to Parallel Computation; P-Completeness Theory},
Year = {1995}}
@article{agrawal2004,
Author = {Manindra Agrawal, Neeraj Kayal, Nitin Saxena},
Date-Added = {2016-08-12 15:26:57 +0000},
Date-Modified = {2016-08-12 15:29:09 +0000},
Journal = {Annals of Mathematics},
Pages = {781-793},
Title = {Primes in P},
Volume = {160},
Year = {2004}}
@unpublished{babai2008,
Author = {Laci Babai},
Date-Added = {2016-06-22 15:59:57 +0000},
Date-Modified = {2016-06-22 16:05:52 +0000},
Note = {On optimal subgroup detection},
Title = {Theory of Computing rejection referee report},
Year = {2008}}
@article{babai2015,
Author = {Laci Babai},
Date-Added = {2016-06-22 15:58:39 +0000},
Date-Modified = {2016-06-22 15:59:30 +0000},
Journal = {Arxiv},
Title = {Graph Isomorphism in Quasipolynomial Time},
Year = {2015}}
@inproceedings{furer2007,
Author = {Martin F{\"u}rer},
Booktitle = {Proceedings of the thrity-ninth annual ACM symposium on Theory in computing},
Date-Added = {2016-06-18 14:15:15 +0000},
Date-Modified = {2016-06-18 14:17:05 +0000},
Title = {Faster Integer Multiplication},
Year = {2007}}
@article{bhargava2000,
Author = {Manjul Bhargava},
Date-Added = {2016-06-16 15:09:42 +0000},
Date-Modified = {2016-06-16 15:10:43 +0000},
Journal = {The American Mathematical Monthly},
Number = {9},
Pages = {783-799},
Title = {The Factorial Function and Generalizations},
Volume = {107},
Year = {2000}}
@inproceedings{boyanov2003,
Author = {Kiril Boyanov},
Booktitle = {Proceedings of the 4th international conference on Computer systems and technologies: e-learning},
Date-Added = {2016-06-10 17:28:09 +0000},
Date-Modified = {2016-06-10 17:30:02 +0000},
Pages = {1-7},
Title = {John Vincent Atanasoff - The Inventor of the First Electronic Digital Computing},
Year = {2003}}
@inproceedings{hudak2007,
Author = {Paul Hudak and John Hughes and Simon Peyton Jones and Philip Wadler},
Booktitle = {Procedings of the third ACM SIGPLAN conference on History of programming laguages},
Date-Added = {2016-06-10 17:12:35 +0000},
Date-Modified = {2016-06-10 17:14:18 +0000},
Title = {A history of Haskell: being lazy with clas},
Year = {2007}}
@inproceedings{curry1934,
Author = {Haskell Curry},
Booktitle = {Proceedings of the National Academy of Sciences 20},
Date-Added = {2016-06-10 16:47:06 +0000},
Date-Modified = {2016-06-10 16:48:17 +0000},
Pages = {584-590},
Title = {Functionality in Combinatory Logic},
Year = {1934}}
@phdthesis{ashlock1990,
Author = {Daniel Abram Ashlock},
Date-Added = {2016-06-10 16:26:07 +0000},
Date-Modified = {2016-06-10 16:27:09 +0000},
School = {California Institute of Technology},
Title = {A theory of permutation polynomials using compositional attractors},
Year = {1990}}
@article{borwein1985,
Author = {Peter B. Borwein},
Date-Added = {2016-04-24 18:09:55 +0000},
Date-Modified = {2016-04-24 18:10:54 +0000},
Journal = {Journal of Algorithms},
Pages = {376-380},
Title = {On the Complexity of Calculating Factorials},
Volume = {6},
Year = {1985}}
@article{anderson2005,
Author = {Peter G. Anderson and Arthur T. Benjamin and Jeremy A. Rouse},
Date-Added = {2016-04-24 17:34:07 +0000},
Date-Modified = {2016-04-24 17:36:43 +0000},
Journal = {The American Mathematical Monthly},
Number = {3},
Pages = {266-268},
Title = {Combinatorial Proofs of Fermat's, Lucas's, and Wilson's Theorems},
Volume = {112},
Year = {2005}}
@article{goetgheluck1988,
Author = {Pierre Goetgheluck},
Date-Added = {2016-04-24 17:24:14 +0000},
Date-Modified = {2016-04-24 17:33:59 +0000},
Journal = {Mathematics of Computation},
Month = {July},
Number = {183},
Pages = {325-329},
Title = {On Prime Divisors of Binomial Coefficients},
Volume = {51},
Year = {1988}}
@article{goetgheluck1987,
Author = {Pierre Goetgheluck},
Date-Added = {2016-04-24 17:21:20 +0000},
Date-Modified = {2016-04-24 17:33:48 +0000},
Journal = {American Mathematical Monthly},
Number = {4},
Pages = {360-365},
Title = {Computing Binomial Coefficients},
Volume = {94},
Year = {1987}}
@techreport{alon1985,
Author = {Noga Alon and Amnon Barak and Udi Manber},
Date-Added = {2016-03-30 17:17:14 +0000},
Date-Modified = {2016-03-30 17:18:58 +0000},
Institution = {Tel Aviv University, MIT, UW Madison},
Title = {On Disseminating Information Reliably Without Broadcasting},
Year = {1985}}
@mastersthesis{sweeny1969,
Address = {Montery, California 93940},
Annote = {http://calhoun.nps.edu/bitstream/handle/10945/12746/numericalpropert00swee.pdf?sequence=1},
Author = {Orval Lester Sweeny},
Date-Added = {2016-03-11 18:49:18 +0000},
Date-Modified = {2016-03-11 19:25:54 +0000},
Month = {June},
School = {United States Naval Post Graduate School},
Title = {Numerical Properties of the Full Transformation Semigroup on a Finite Domain},
Year = {1969}}
@book{maclane1990,
Date-Added = {2016-03-11 18:12:28 +0000},
Date-Modified = {2016-03-11 18:14:12 +0000},
Editor = {Saunders Mac Lane and Dirk Siefkes},
Publisher = {Springer-Verlag New York Inc.},
Title = {The Collected Works of J. Richard B\"{u}chi},
Year = {1990}}
@article{buchi1962,
Author = {J. Richard B\"{u}chi},
Date-Added = {2016-03-11 18:08:42 +0000},
Date-Modified = {2016-03-11 18:12:10 +0000},
Journal = {Zeit. f\"{u}r Angew. Math. Mech.},
Pages = {T9-16},
Title = {Mathematische Theorie des Verhaltens endlicher Automaten},
Volume = {42},
Year = {1962}}
@incollection{mullin1970,
Author = {R. Mullen and G.-C. Rota},
Booktitle = {Graph Theory and its applications},
Date-Added = {2016-02-06 20:51:09 +0000},
Date-Modified = {2016-02-06 20:59:53 +0000},
Journal = {Graph Theory and its applications},
Publisher = {Academic Press},
Title = {On the Foundations of Combinatorial Theory: Theory of Binomial Enumeration},
Year = {1970}}
@article{valiant1975,
Author = {Leslie G Valiant},
Date-Added = {2016-02-05 23:23:10 +0000},
Date-Modified = {2016-02-06 20:50:20 +0000},
Journal = {Journal of Computer and System Sciences},
Title = {General context-free recognition in less than cubic time},
Year = {1975}}
@article{kmett2014lens,
Author = {Kmett, Edward},
Journal = {URL https://github.com/ekmett/succinct},
Title = {The---succinct---package},
Year = {2015}}
@book{mullinfoundations,
Author = {Mullin, Ronald Cleveland and Rota, Gian-Carlo},
Publisher = {publisher not identified},
Title = {On the Foundations of Combinatorial Theory: Theory of Binomial Enumeration}}
@incollection{munro2004succinct,
Author = {Munro, J Ian and Rao, S Srinivasa},
Booktitle = {Automata, Languages and Programming},
Pages = {1006--1015},
Publisher = {Springer},
Title = {Succinct representations of functions},
Year = {2004}}
@article{cayley1851,
Author = {Cayley, Arthur},
Date-Modified = {2016-06-10 16:51:34 +0000},
Journal = {Philosophical Magazine},
Pages = {123--130},
Title = {On the Theory of groups, as Depending on the Symbolic Equation $\Theta^n = 1$},
Volume = {7},
Year = {1851}}