Index file section B for issac.bib
Last update: Wed Oct 23 02:00:51 MDT 2019
Return to index directory
B
-
B, 0(0)183--184, 0(0)232--239, 0(0)264--268, 0(0)315--324
-
b, 0(0)145--151
-
B-bit, 0(0)159
-
B-M, 0(0)55--63
-
B.4.2, 0(0)348--353
-
B.7.1, 0(0)82--84, 0(0)95--104
-
B0210, 0(0)144--151, 0(0)152--156, 0(0)161--163, 0(0)164--172
-
B0230, 0(0)164--172
-
B0240G, 0(0)259--264
-
B0250, 0(0)95--104, 0(0)161--163
-
B0260, 0(0)42--50
-
B0290D, 0(0)157--160, 0(0)242--249
-
B0290F, 0(0)1--8, 0(0)58--65, 0(0)66--73, 0(0)108--113, 0(0)112--119,
0(0)120--126, 0(0)144--151, 0(0)152--156, 0(0)161--163,
0(0)183--192, 0(0)185--192, 0(0)193--200, 0(0)208--215,
0(0)225--233, 0(0)232--239, 0(0)285--289
-
B0290H, 0(0)59--67, 0(0)110--118, 0(0)144--151, 0(0)157--160,
0(0)193--200, 0(0)278--284
-
B0290M, 0(0)157--160, 0(0)201--205, 0(0)211--215, 0(0)212--224
-
B0290P, 0(0)16--25, 0(0)193--200, 0(0)208--215, 0(0)216--223,
0(0)225--233, 0(0)285--289, 0(0)336--340
-
B0290R, 0(0)206--211, 0(0)211--215
-
B0290Z, 0(0)193--200
-
B1110, 0(0)95--104
-
B1130, 0(0)95--104
-
B6140C, 0(0)16--23
-
B7410, 0(0)452--453
-
B7510B, 0(0)16--23
-
Baaz, M., 0(0)30--37
-
Baaz:1990:SPR, 0(0)30--37
-
Baba, 1107(0)x--348
-
Babai, 0(0)127--134, 0(0)200--209
-
Babai, László, 0(0)86--94, 0(0)117--126, 0(0)200--209
-
Babai:1991:NLT, 0(0)200--209
-
Babai:1993:DCA, 0(0)86--94
-
Babai:1993:DFM, 0(0)117--126
-
Babel, 0(0)336--345
-
baby, 0(0)138--144, 0(0)183--184, 0(0)298--305
-
Baby-Stepsash, 0(0)143--150
-
babystep, 0(0)179--182
-
Bach, Eric, 0(0)23--30
-
Bach:2013:ACS, 0(0)23--30
-
Bacha, C., El, 0(0)43--50
-
Bacha, Carole El, 0(0)7--14, 0(0)45--52
-
Bacha, Carole El, see Barkatou, Moulay A.
-
Bacher, Rainer, 0(0)283--291
-
Bacher:1996:AGO, 0(0)283--291
-
Bachmair, Leo, 0(0)215--217
-
Bachmair:1986:CPC, 0(0)215--217
-
Bachmann, Olaf, 0(0)32--41, 0(0)103--112, 0(0)165--175, 0(0)242--249,
0(0)309--316
-
Bachmann, Olaf, see Avitzur, Ron
-
Bachmann:1994:CRM, 0(0)242--249
-
Bachmann:1996:MFD, 0(0)103--112
-
Bachmann:1997:PSD, 0(0)165--175
-
Bachmann:1998:MRG, 0(0)309--316
-
back, 0(0)1--2, 0(0)63--70, 0(0)170--178, 0(0)297--304, 0(0)348--353,
0(0)364--377
-
Backelin, 0(0)20--27
-
Backelin, Jörgen, 0(0)103--111
-
Backelin:1991:HWP, 0(0)103--111
-
backend, 0(0)47--54
-
background, 0(0)16--23, 0(0)250--254, 0(0)364--372
-
Bäcklund, Lie-, 0(0)313--314, 0(0)315--316
-
backward-forward, 0(0)217--224
-
backwards-chaining, 0(0)234--241
-
bad, 0(0)49--54, 0(0)59--66
-
Baddoura, Jamil, 0(0)158--162
-
Baddoura:1994:CIF, 0(0)158--162
-
Bags, 0(0)154--163
-
Bahsoun, 1107(0)x--348
-
Bajaj, C., 0(0)81--90
-
Bajaj, C. L., 0(0)274--284
-
Bajaj, C. L., see Abhyankar, S. S.
-
Bajaj, Chanderjit, 0(0)71--76
-
Bajaj:1986:LAS, 0(0)71--76
-
Bajaj:1989:FRP, 0(0)81--90
-
Balance, 0(0)66--73, 0(0)96--103
-
balanced, 0(0)95--104, 0(0)181--188
-
balancing, 0(0)145--151
-
Baldwin, 0(0)234--241
-
Ballarin, Clemens, 0(0)32--37, 0(0)150--157
-
Ballarin, Clemens, see Armando, Alessandro
-
Ballarin:1995:TAI, 0(0)150--157
-
Banâtre, 1107(0)x--348
-
Banda, M., Garcia de la, 0(0)63--73
-
Bar, 0(0)289--296
-
Bar99, 0(0)19--26
-
Baral:1997:LPN, 21(0)z
-
Bareiss, 0(0)123--128
-
Barendegt, Henk, 0(0)6--z
-
Barendegt:2000:RHM, 0(0)6--z
-
Barkatou, A., 0(0)297--302
-
Barkatou, M. A., 0(0)1--6, 0(0)43--50, 0(0)124--131, 0(0)183--195,
0(0)268--275, 0(0)277--282
-
Barkatou, M. A., see Abramov, S. A.
-
Barkatou, Moulay, 0(0)204--211
-
Barkatou, Moulay, see Roux, Nicolas Le
-
Barkatou, Moulay A., 0(0)1--8, 0(0)7--8, 0(0)7--14, 0(0)15--22,
0(0)19--26, 0(0)45--52, 0(0)51--58
-
Barkatou, Moulay A., see Aparicio-Monforte, Ainhoa
-
Barkatou-Zürcher, Danilevski-, 0(0)85--92
-
Barkatou:1989:RLS, 0(0)1--6
-
Barkatou:1989:RNA, 0(0)183--195
-
Barkatou:1995:RVM, 0(0)297--302
-
Barkatou:1998:EPL, 0(0)268--275
-
Barkatou:1999:RSM, 0(0)277--282
-
Barkatou:2007:CSI, 0(0)1--8
-
Barkatou:2008:RSL, 0(0)15--22
-
Barkatou:2009:ARS, 0(0)7--14
-
Barkatou:2010:SMS, 0(0)7--8
-
Barkatou:2010:SRC, 0(0)45--52
-
Barkatou:2012:CCF, 0(0)43--50
-
Barkatou:2012:SLO, 0(0)51--58
-
Barkee, 0(0)315--324
-
Barnes, 0(0)15--20
-
Barnes, A., 0(0)82--87
-
Barnes, A., see Padget, J.
-
Barnett, Michael P., 0(0)1--2
-
Barnett:2003:CCA, 0(0)1--2
-
BARON, 0(0)3--4
-
barrier, 0(0)42--48, 0(0)234--238
-
Bartels, Richard H., 0(0)284--293
-
Bartels, Richard H., see Mutrie, Mark P. W.
-
Barzilai--Borwein, 0(0)241--248
-
base', `small-, 0(0)127--134
-
base, knowledge-, 0(0)141--147
-
base, Small-, 0(0)154--157, 0(0)270--277
-
base, small-, 0(0)154--157, 0(0)270--277
-
base-change, 0(0)347--354
-
based, Artin-, 0(0)171--176
-
based, C-, 0(0)77--84
-
based, CAD-, 0(0)54--60
-
based, CAD-, 0(0)71--78, 0(0)145--149, 0(0)223--231
-
based, complex-numbers-, 0(0)181--188
-
based, Component-, 1107(0)x--348
-
Based, Computer-, 0(0)x--348
-
Based, Constraint-, 0(0)1--11
-
based, cost-, 0(0)111--118
-
based, disk-, 0(0)66--73, 0(0)235--242, 0(0)298--305,
0(0)315--322, 0(0)327--334
-
based, Dixon-, 0(0)29--36
-
based, elimination-, 0(0)121--128
-
based, FFT-, 0(0)90--98, 0(0)325--329
-
based, gmp-, 0(0)167--174
-
based, homotopy-, 0(0)233--240
-
based, Knowledge-, 0(0)456--466
-
based, knowledge-, 0(0)456--466
-
based, Krylov-, 0(0)127--134
-
based, lattice-, 0(0)315--324
-
based, Lisp-, 0(0)77--84
-
based, logic-, 0(0)147--154
-
based, matrix-, 0(0)9--16
-
based, Memory-, 0(0)66--73
-
based, Newton-, 0(0)249--256
-
based, Object-, 1107(0)x--348
-
based, object-, 1107(0)x--348
-
based, polynomial-, 0(0)147--154
-
based, projection-, 0(0)127--134
-
based, RAM-, 0(0)327--334
-
based, Resultant-, 0(0)175--180
-
based, resultant-, 0(0)175--180, 0(0)244--251
-
based, semantics-, 0(0)233--240
-
based, Signature-, 0(0)99--106, 0(0)351--358
-
based, signature-, 0(0)351--358
-
based, Stack-, 0(0)336--345
-
based, subresultants-, 0(0)127--134
-
bases, -, 0(0)132--139
-
basic, 0(0)3--4, 0(0)7--10, 0(0)9--10, 0(0)17--24, 0(0)26--31, 0(0)37--44,
0(0)51--58, 0(0)52--57, 0(0)55--67, 0(0)75--82, 0(0)86--94,
0(0)95--104, 0(0)136--146, 0(0)159, 0(0)237--238, 0(0)250--254,
0(0)256--264, 0(0)284--291, 0(0)288--288, 0(0)289--296,
0(0)290--290, 0(0)330--335, 0(0)347--354, 0(0)352--359,
0(0)360--369, 0(0)419--426, 0(0)423--439, 0(0)447--455
-
basic, non-, 0(0)330--335
-
Basically, 0(0)187--190
-
Basiri, Abdolali, 0(0)23--29
-
Basiri:2003:COG, 0(0)23--29
-
basis, u-, 0(0)31--38
-
Basson, Romain, 0(0)31--36
-
Basson:2013:EEL, 0(0)31--36
-
Basu, Saugata, 0(0)21--27, 0(0)25--29
-
Basu:1997:UQE, 0(0)21--27
-
Basu:1998:CCS, 0(0)25--29
-
Bath, 0(0)250--253
-
Baxter, Rota-, 0(0)124--131, 0(0)147--154
-
Baxter, Yang-, 0(0)229--236, 0(0)350--357
-
Bayer, D., 0(0)157--162
-
Bayer, Thomas, 0(0)19--26
-
Bayer:1986:DMS, 0(0)157--162
-
Bayer:2004:ODO, 0(0)19--26
-
BBD, 0(0)11--18
-
BC, 0(0)xxii--311
-
BCD, 0(0)181--188
-
BCP97, 0(0)259--266
-
Beale-Orchard-Hays, 0(0)3--4
-
Beals, 0(0)154--157
-
Beals, Robert, 0(0)117--126, 0(0)127--134
-
Beals, Robert, see Babai, László
-
Beals:1993:EAC, 0(0)127--134
-
Beaumont, James, 0(0)30--36
-
Beaumont, James C., 0(0)27--34, 0(0)37--44
-
Beaumont:2003:BSE, 0(0)30--36
-
Beaumont:2004:PAA, 0(0)27--34
-
Beaumont:2005:ABT, 0(0)37--44
-
beauty, 0(0)9--10
-
because, 0(0)16--23, 0(0)59--66, 0(0)87--94, 0(0)99--107, 0(0)107--114,
0(0)147--154, 0(0)163--170, 0(0)218--230, 0(0)240--247,
0(0)291--296, 0(0)305--305, 0(0)315--324, 0(0)321--322
-
Beck, Robert E., 0(0)85--87
-
Beck:1986:SAL, 0(0)85--87
-
Becker, Eberhard, 0(0)129--133
-
Becker, Thomas, 0(0)64--69
-
Becker:1991:CRP, 0(0)64--69
-
Becker:1994:SSL, 0(0)129--133
-
Beckermann, Bernhard, 0(0)8--15, 0(0)15--22, 0(0)125--132, 0(0)189--196
-
Beckermann:1997:FCM, 0(0)125--132
-
Beckermann:1999:SNF, 0(0)189--196
-
Beckermann:2002:FFR, 0(0)8--15
-
Beckermann:2009:FFC, 0(0)15--22
-
become, 0(0)8--15, 0(0)9--10, 0(0)103--111, 0(0)177--186, 0(0)187--194,
0(0)196--205, 0(0)299--306
-
begin, 0(0)3--4, 0(0)343--351
-
beginning, 0(0)31--38, 0(0)181--186, 0(0)343--351, 0(0)411--413
-
behavior, 0(0)74--83, 0(0)90--98, 0(0)209--216, 0(0)216--223,
0(0)259--266, 0(0)264--271, 0(0)265--272
-
behaviour, 0(0)1--12, 0(0)9--10, 0(0)37--44, 0(0)234--238, 0(0)343--351,
0(0)352--359, 0(0)490--495
-
behind, 0(0)13--14, 0(0)52--57, 0(0)140--149, 0(0)163--170
-
Beijing, 0(0)xiv--372
-
being, 0(0)8--15, 0(0)16--23, 0(0)20--24, 0(0)33--56, 0(0)37--44,
0(0)96--103, 0(0)129--135, 0(0)147--154, 0(0)169--176, 0(0)180--186,
0(0)187--192, 0(0)205--210, 0(0)261--268, 0(0)285--290,
0(0)295--302, 0(0)297--304, 0(0)317--318, 0(0)333--334
-
Beke--Schlesinger, 0(0)336--340
-
Bel'kov, Alexander A., 0(0)454--455
-
believe, 0(0)32--40, 0(0)108--115
-
believed, 0(0)291--298
-
Belkov:1991:RUC, 0(0)454--455
-
Bellissard, 1107(0)x--348
-
Belmesk, M., 0(0)288--288
-
Belmesk:1990:EME, 0(0)288--288
-
belong, 0(0)43--54, 0(0)104--105, 0(0)154--157, 0(0)193--200,
0(0)271--280, 0(0)321--328
-
below, 0(0)134--143
-
Bembé, Daniel, 0(0)27--34
-
Bembe:2011:VRR, 0(0)27--34
-
Ben-Or, 0(0)120--126, 0(0)135--139, 0(0)467--474
-
Ben-Or's, Prony's-, 0(0)138--145
-
Ben-Orash, 0(0)192--201
-
benchmark, 0(0)83--90, 0(0)95--102, 0(0)111--116, 0(0)154--161,
0(0)155--164, 0(0)329--336, 0(0)353--360
-
Bendix, Knuth-, 0(0)55--67, 0(0)215--217, 0(0)269--277,
0(0)364--377, 0(0)378--389, 0(0)399
-
benefit, 0(0)147--154, 0(0)175--180, 0(0)234--241, 0(0)259--266,
0(0)297--297
-
Benhamou, Frédéric, 0(0)150--166,
see Granvilliers, Laurent
-
Benoit, 1107(0)x--348
-
Benoit, Alexandre, 0(0)23--30
-
Benoit:2009:CES, 0(0)23--30
-
Bergman, 0(0)103--111
-
Beringer, Frédéric, 0(0)222--227
-
Beringer:1998:SSA, 0(0)222--227
-
Berkesch, Christine, 0(0)99--106
-
Berkesch:2010:ABS, 0(0)99--106
-
Berlekamp, 0(0)22--31, 0(0)90--98, 0(0)145--151
-
Berlekamp--Hensel, 0(0)300--308
-
Berlekamp--Massey-Sakata, 0(0)115--122
-
Berlekamp-Welch, 0(0)219--226
-
Berlekampash, 0(0)101--108, 0(0)138--145
-
Berlekamp/Massey, 0(0)138--145
-
Berlin, 0(0)ix--322
-
Berman, Benjamin P., 0(0)348--353
-
Berman:1994:OCR, 0(0)348--353
-
Bernardi, Alessandra, 0(0)35--42
-
Bernardi:2011:MPD, 0(0)35--42
-
Bernardin, Laurent, 0(0)96--100, 0(0)217--222, 0(0)237--244
-
Bernardin:1997:MMP, 0(0)217--222
-
Bernardin:1998:BHP, 0(0)96--100
-
Bernardin:1999:SCJ, 0(0)237--244
-
Berndt, R., 0(0)433--438
-
Berndt:1991:ACA, 0(0)433--438
-
Bernoulli, 0(0)269--276
-
Bernshtein, 0(0)96--102
-
Bernstein--Sato, 0(0)99--106, 0(0)173--180, 0(0)231--238
-
Berthé, Valérie, 0(0)37--44
-
Berthe:2013:MGP, 0(0)37--44
-
Berthomieu, Jérémy, 0(0)59--66
-
Berthomieu:2012:RPA, 0(0)59--66
-
Bertrand, Laurent, 0(0)211--215
-
Bertrand:1994:INA, 0(0)211--215
-
Besides, 0(0)1--12, 0(0)348--353, 0(0)429--430
-
Bessel, 0(0)37--44, 0(0)39--46
-
Bessonov, Mariya, 0(0)45--52
-
Bessonov:2013:ICP, 0(0)45--52
-
best, 0(0)13--14, 0(0)17--24, 0(0)33--40, 0(0)49--53, 0(0)49--54,
0(0)67--74, 0(0)85--91, 0(0)99--106, 0(0)110--118, 0(0)117--124,
0(0)163--170, 0(0)167--174, 0(0)185--186, 0(0)187--194,
0(0)196--205, 0(0)197--204, 0(0)209--216, 0(0)265--269,
0(0)269--277, 0(0)283--290, 0(0)285--292, 0(0)305--311,
0(0)331--338
-
best-known, 0(0)123--130, 0(0)146--153, 0(0)323--332
-
betatron, 0(0)452--453
-
Beth, T., 0(0)173--178
-
Beth, Thomas, 0(0)101--108
-
Beth, Thomas, see Egner, Sebastian
-
Beth:1991:FGN, 0(0)173--178
-
Bettale, 0(0)67--74
-
Bettale, Luk, 0(0)67--74
-
Bettale:2012:SPS, 0(0)67--74
-
Betten, Anton, 0(0)53--60
-
Betten:2013:RCC, 0(0)53--60
-
better, 0(0)16--22, 0(0)23--30, 0(0)30--36, 0(0)32--41, 0(0)37--44,
0(0)43--54, 0(0)96--102, 0(0)117--126, 0(0)161--168, 0(0)193--200,
0(0)216--222, 0(0)244--249
-
Beukers, Frits, 0(0)1--2
-
Beukers:2012:HFC, 0(0)1--2
-
beyond, 0(0)32--41, 0(0)227--234, 0(0)256--264
-
Bézier, 0(0)148--155
-
Bezout, 0(0)1--8, 0(0)96--102, 0(0)173--182
-
Bézout, 0(0)189--196, 0(0)271--277
-
Bezout-like, 0(0)251--256
-
bezoutian, 0(0)111--116, 0(0)159--166
-
Bi, H., 0(0)363--372
-
Bi, H., see Sodan, A.
-
Bi, Jingguo, 0(0)61--68
-
bi-degree, 0(0)69--76
-
bi-equational, 0(0)76--83
-
bi-homogeneous, 0(0)69--76
-
bi-variate, 0(0)297--297
-
Bi:2013:SLR, 0(0)61--68
-
Bianchini, Ricardo, 0(0)58--67
-
Bianchini, Ricardo, see Costa, Vítor Santos
-
Biased, 0(0)223--230
-
Biasse, Jean-François, 0(0)75--82
-
Biasse:2012:PTA, 0(0)75--82
-
bicubic, 0(0)148--155
-
bicyclic, 0(0)181--186
-
bidegree, 0(0)141--148
-
Bidirectional, 0(0)264--272
-
Bieberbach, 0(0)169--175
-
bifurcation, 0(0)218--230, 0(0)317--318, 0(0)431--432
-
big, 0(0)240--247, 0(0)366--373, 0(0)379--386
-
big-number, 0(0)304--304
-
Bigatti, Anna, 0(0)6--6
-
Bigatti, Anna M., 0(0)31--38
-
Bigatti:2006:CSC, 0(0)6--6
-
Bigatti:2009:CSK, 0(0)31--38
-
biggest, 0(0)100--107
-
bignum, 0(0)94--103, 0(0)240--247
-
Bihan, Frédéric, 0(0)39--46
-
Bihan:2009:FRF, 0(0)39--46
-
bihomogeneous, 0(0)69--76
-
bilateral, 0(0)42--46
-
bilinear, 0(0)6--7, 0(0)86--94, 0(0)271--273, 0(0)295--300, 0(0)311--318
-
bilinearly, 0(0)41--48
-
billion, 0(0)85--91, 0(0)315--322
-
binary, 0(0)1--7, 0(0)35--42, 0(0)111--116, 0(0)127--134, 0(0)128--133,
0(0)159, 0(0)167--172, 0(0)171--176, 0(0)209--216, 0(0)286--287,
0(0)315--316
-
Binder, Franz, 0(0)23--29, 0(0)43--48
-
Binder:1996:FCL, 0(0)43--48
-
Binder:2000:ANR, 0(0)23--29
-
binding, 0(0)126--132
-
Bini, D., 0(0)294--294
-
Bini, Dario, 0(0)193--200
-
Bini, Dario A., 0(0)9--16
-
Bini:1990:PPC, 0(0)294--294
-
Bini:1993:PCT, 0(0)193--200
-
Bini:2007:SMB, 0(0)9--16
-
binomial, 0(0)55--62, 0(0)77--81, 0(0)106--111, 0(0)152--156,
0(0)177--186, 0(0)184--190, 0(0)192--195, 0(0)228--233,
0(0)261--268, 0(0)275--283, 0(0)315--324
-
bio-operations, 0(0)41--48
-
biochemical, 0(0)122--126
-
Biochemistry, 0(0)74--83
-
biological, 0(0)5--6, 0(0)317--324, 0(0)354--361
-
biology, 0(0)16--23, 0(0)55--62, 0(0)74--83, 0(0)116--121
-
biomedicine, 0(0)16--23
-
biomolecular, 0(0)74--83
-
biorthogonal, 0(0)55--63
-
birational, 0(0)43--54, 0(0)164--172, 0(0)274--284
-
Birch, 0(0)1--2
-
biregular, 0(0)129--133
-
Birkhoff, 0(0)306--306
-
Biscani, Francesco, 0(0)83--90
-
Biscani:2012:PSP, 0(0)83--90
-
Bischof, Christian, 0(0)149--155, 0(0)294--302
-
Bischof, Christian, see Abate, Jason
-
Bischof:1992:AAD, 0(0)294--302
-
bisection, 0(0)235--242, 0(0)297--304, 0(0)299--306
-
bisects, 0(0)319--326
-
Bisolve, 0(0)154--161
-
bit, 0(0)51--58, 0(0)109--116, 0(0)110--118, 0(0)117--124, 0(0)127--134,
0(0)128--133, 0(0)134--138, 0(0)143--150, 0(0)154--161, 0(0)159,
0(0)171--176, 0(0)197--204, 0(0)209--216, 0(0)254--258,
0(0)281--288, 0(0)283--290, 0(0)297--304, 0(0)305--311
-
bit, B-, 0(0)159
-
bit, I-, 0(0)110--118
-
bit-complexity, 0(0)239--246, 0(0)339--346
-
bit-length, 0(0)339--346
-
bit-operations, 0(0)173--178
-
bit-size, 0(0)534--543
-
bitsize, 0(0)109--116, 0(0)117--124, 0(0)127--134, 0(0)283--290,
0(0)297--304, 0(0)299--306, 0(0)321--328, 0(0)343--350
-
bivariate, 0(0)24--31, 0(0)27--34, 0(0)33--40, 0(0)42--49, 0(0)59--67,
0(0)77--84, 0(0)85--92, 0(0)96--100, 0(0)103--110, 0(0)109--116,
0(0)117--124, 0(0)119--126, 0(0)122--129, 0(0)127--134,
0(0)141--148, 0(0)154--161, 0(0)159--166, 0(0)192--199,
0(0)203--210, 0(0)205--212, 0(0)208--215, 0(0)217--224,
0(0)243--250, 0(0)251--258, 0(0)277--284, 0(0)283--290,
0(0)295--295, 0(0)295--302, 0(0)369--376
-
BKK, 0(0)1--8, 0(0)96--102
-
black, 0(0)30--37, 0(0)90--98, 0(0)103--110, 0(0)106--113, 0(0)123--130,
0(0)143--150, 0(0)177--186, 0(0)203--210, 0(0)232--239,
0(0)297--302, 0(0)305--311, 0(0)332--339
-
black-box, 0(0)135--142, 0(0)143--150, 0(0)146--153
-
Black-boxash, 0(0)69--76
-
Blackboard, 0(0)34--43
-
blackbox, 0(0)177--186
-
Blanco, Irene, Polo-, 0(0)159--166
-
Blankertz, Raoul, 0(0)91--98
-
Blankertz:2012:CCD, 0(0)91--98
-
BLAS, 0(0)92--99
-
blend, 0(0)5--6
-
Blind, 0(0)155--162
-
block, 0(0)32--39, 0(0)61--68, 0(0)90--98, 0(0)96--108, 0(0)127--134,
0(0)143--150, 0(0)154--157, 0(0)177--184, 0(0)193--200,
0(0)289--296, 0(0)297--304, 0(0)323--331, 0(0)332--339,
0(0)377--386
-
block, 17-, 0(0)315--322
-
blockwise, 0(0)211--218
-
blowing-up, 0(0)285--292
-
BLT-sets, 0(0)53--60
-
Boady, Mark, 0(0)69--76
-
Boady:2013:TRS, 0(0)69--76
-
board, 0(0)450--451
-
board, on-, 0(0)53--54
-
Bodnár, Gábor, 0(0)30--37, 0(0)35--41
-
Bodnar:2000:IAR, 0(0)30--37
-
Bodnar:2004:EDR, 0(0)35--41
-
Bodrato, Marco, 0(0)17--24, 0(0)273--280
-
Bodrato:2007:IPM, 0(0)17--24
-
Bodrato:2010:SLM, 0(0)273--280
-
body, 0(0)288--288
-
Boers, J., 0(0)234--241
-
Boers, J., see Ganzha, V. G.
-
Bogucz, E. A., 0(0)788--792
-
Bogucz, E. A., see Willis, T. J.
-
Boito, Paola, 0(0)9--16
-
Boito, Paola, see Bini, Dario A.
-
Bolzano, 0(0)353--360
-
Bonacina, M. P., 0(0)22--33, 0(0)422--431
-
Bonacina, M. P., see Zhang, H.
-
Bonacina, Maria Paola, 0(0)88--100
-
Bonacina:1994:RPD, 0(0)22--33
-
Bonacina:1997:ESS, 0(0)88--100
-
bond, 0(0)433--438
-
Bondyfalat, Didier, 0(0)252--259
-
Bondyfalat:1998:CIM, 0(0)252--259
-
Bonn, 0(0)xiii--468
-
books, 0(0)348--353
-
boolean, 0(0)55--62, 0(0)81--90, 0(0)95--102, 0(0)122--126, 0(0)125--132,
0(0)258--263, 0(0)264--274, 0(0)291--291, 0(0)299--306,
0(0)343--350
-
Boolean-product-witness-matrix, 0(0)146--152
-
boost, 0(0)289--296
-
border, 0(0)11--18, 0(0)35--42, 0(0)75--82, 0(0)265--272
-
Borel-fixed, 0(0)242--248
-
Borghoff, U. M., 0(0)1--11
-
Borghoff, U. M., see Andreoli, J.-M.
-
born, 0(0)305--311
-
Bornat, R., 0(0)204--213
-
Bornat, R., see Hill, J. M. D.
-
borne, 0(0)32--38
-
Bornemann, 0(0)3--4
-
borrows, 0(0)157--166
-
Borst, W. N., 0(0)45--51
-
Borst:1994:GRP, 0(0)45--51
-
Borwein, Barzilai-, 0(0)241--248
-
Borwein, Jonathan M., 0(0)23--30, 0(0)43--50
-
Borwein:2006:SCM, 0(0)23--30
-
Borwein:2011:SVG, 0(0)43--50
-
Bosma, Wieb, 0(0)52--57, 0(0)151--156
-
Bosma:1991:CFG, 0(0)151--156
-
Bosma:1994:PAS, 0(0)52--57
-
Bosschere, K., De, 0(0)34--43
-
Bostan, A., 0(0)31--38, 0(0)37--44, 0(0)42--49
-
Bostan, Alin, 0(0)23--30, 0(0)25--32, 0(0)33--40, 0(0)45--52, 0(0)47--54,
0(0)77--84, 0(0)85--92, 0(0)93--100, 0(0)99--106, 0(0)107--114,
0(0)203--210, 0(0)269--276
-
Bostan:2003:TPP, 0(0)37--44
-
Bostan:2004:CIB, 0(0)42--49
-
Bostan:2005:FAP, 0(0)45--52
-
Bostan:2006:LCA, 0(0)31--38
-
Bostan:2007:DEA, 0(0)25--32
-
Bostan:2007:STV, 0(0)33--40
-
Bostan:2008:POD, 0(0)23--30
-
Bostan:2008:PSC, 0(0)269--276
-
Bostan:2009:FAD, 0(0)47--54
-
Bostan:2010:CCT, 0(0)203--210
-
Bostan:2012:FCC, 0(0)99--106
-
Bostan:2012:PSS, 0(0)107--114
-
Bostan:2013:CET, 0(0)85--92
-
Bostan:2013:CTR, 0(0)93--100
-
Bostan:2013:HRC, 0(0)77--84
-
Boston, 0(0)387
-
both, 0(0)30--37, 0(0)35--42, 0(0)37--44, 0(0)43--54, 0(0)55--63,
0(0)55--67, 0(0)63--70, 0(0)67--74, 0(0)83--90, 0(0)96--108,
0(0)99--106, 0(0)106--111, 0(0)117--126, 0(0)120--126, 0(0)129--133,
0(0)133--140, 0(0)134--138, 0(0)150--157, 0(0)155--162,
0(0)159--166, 0(0)171--179, 0(0)173--180, 0(0)181--188,
0(0)186--191, 0(0)187--192, 0(0)187--194, 0(0)191--199,
0(0)193--200, 0(0)203--210, 0(0)219--226, 0(0)248--253,
0(0)261--268, 0(0)264--274, 0(0)274--284, 0(0)275--283,
0(0)277--286, 0(0)288--288, 0(0)291--296, 0(0)292--293,
0(0)301--301, 0(0)301--307, 0(0)304--304, 0(0)305--311,
0(0)307--314, 0(0)315--322, 0(0)327--334, 0(0)332--343,
0(0)338--350, 0(0)339--346, 0(0)353--360, 0(0)357--363,
0(0)364--372, 0(0)369--376, 0(0)371--378, 0(0)382--389,
0(0)521--533
-
bottleneck, 0(0)3--4, 0(0)115--122, 0(0)117--124, 0(0)261--268
-
Boucher, Delphine, 0(0)45--49, 0(0)53--60, 0(0)261--268
-
Boucher:1999:APS, 0(0)261--268
-
Boucher:2003:FOL, 0(0)45--49
-
Boucher:2005:NCI, 0(0)53--60
-
Boudinet, 1107(0)x--348
-
Boulier, F., 0(0)158--166
-
Boulier, François, 0(0)38--47, 0(0)101--108
-
Boulier:1995:RRF, 0(0)158--166
-
Boulier:2000:CCR, 0(0)38--47
-
Boulier:2001:P, 0(0)38--47
-
Boulier:2013:IDF, 0(0)101--108
-
Boulton, A., 0(0)1--6, 0(0)63--68, 0(0)308--312
-
Boulton, A., see Lisle, I. G.,
see Reid, G. J.
-
boundary, 0(0)3--4, 0(0)11--16, 0(0)59--66, 0(0)69--76, 0(0)75--82,
0(0)96--102, 0(0)135--143, 0(0)261--268, 0(0)287--294
-
bounded, 0(0)5--6, 0(0)71--78, 0(0)105--110, 0(0)115--121, 0(0)128--133,
0(0)135--143, 0(0)144--151, 0(0)154--161, 0(0)167--172,
0(0)262--273, 0(0)281--288, 0(0)335--342, 0(0)379--386
-
Bounded-action, 0(0)142--149
-
bounding, 0(0)201--208, 0(0)227--234, 0(0)262--273
-
Bournez, Olivier, 0(0)115--121
-
Bournez:2012:CSI, 0(0)115--121
-
Bouzidi, Yacine, 0(0)109--116, 0(0)117--124
-
Bouzidi:2013:RUR, 0(0)109--116
-
Bouzidi:2013:SLF, 0(0)117--124
-
box, 0(0)30--37, 0(0)87--94, 0(0)90--98, 0(0)103--110, 0(0)106--113,
0(0)109--116, 0(0)120--126, 0(0)123--130, 0(0)143--150,
0(0)154--161, 0(0)177--186, 0(0)203--210, 0(0)232--239,
0(0)297--302, 0(0)332--339, 0(0)353--360
-
box, black-, 0(0)135--142, 0(0)143--150, 0(0)146--153
-
box, white-, 0(0)69--76
-
boxash, Black-, 0(0)69--76
-
Boy de la Tour, T., 0(0)402--406
-
BoydelaTour:1989:FAS, 0(0)402--406
-
Boyer, Brice, 0(0)55--62
-
Boyer:2009:MES, 0(0)55--62
-
Boyle, Phelim, 0(0)39--46
-
Boyle:2006:AHP, 0(0)39--46
-
BPP-reductions, 0(0)61--68
-
Brachat, Jérôme, 0(0)35--42,
see Bernardi, Alessandra
-
bracket, 0(0)74--80, 0(0)181--188, 0(0)229--236, 0(0)261--268,
0(0)521--533, 0(0)534--543
-
Bradford, R., 0(0)129--135, 0(0)296--296
-
Bradford, R. J., 0(0)100--106, 0(0)244--251, 0(0)250--253
-
Bradford, R. J., see Abbott, J. A.
-
Bradford, Russell, 0(0)16--22, 0(0)30--36, 0(0)125--132
-
Bradford, Russell, see Beaumont, James
-
Bradford, Russell J., 0(0)27--34, 0(0)37--44
-
Bradford, Russell J., see Beaumont, James C.
-
Bradford:1986:ERD, 0(0)100--106
-
Bradford:1989:ETC, 0(0)244--251
-
Bradford:1989:SRD, 0(0)129--135
-
Bradford:1990:PBA, 0(0)296--296
-
Bradford:2002:TBS, 0(0)16--22
-
Bradford:2013:CAD, 0(0)125--132
-
Bragazin, A. F., 0(0)450--451
-
Bragazin, A. F., see Rudenko, V. M.
-
braille, 0(0)305--311
-
branch, 0(0)77--84, 0(0)104--109, 0(0)137--142, 0(0)157--166,
0(0)193--200, 0(0)249--256, 0(0)250--257
-
branching, 0(0)87--94
-
Brandow, 0(0)458--459
-
Branges, 0(0)169--175
-
Bratus, Sergey, 0(0)91--96
-
Bratus, Sergey, see Pak, Igor
-
Bratvold, T. A., 0(0)44--53
-
Bratvold:1994:PFP, 0(0)44--53
-
Brauer, 0(0)181--186, 0(0)315--322
-
break, 0(0)315--324
-
breaking, 0(0)42--48, 0(0)431--432
-
breakpoints, 0(0)77--84
-
breast, 0(0)16--23
-
Breazu-Tannen, 0(0)357--363
-
BREEFS, 0(0)261--268
-
Bremner, Murray R., 0(0)41--48
-
Bremner:2007:NSP, 0(0)41--48
-
Bretto, Alain, 0(0)49--53, 0(0)61--67
-
Bretto:2005:SSG, 0(0)61--67
-
Bretto:2007:GGC, 0(0)49--53
-
Breuer, Thomas, 0(0)38--45
-
Breuer:1998:GTS, 0(0)38--45
-
Brickenstein, Michael, 0(0)55--62
-
Brickenstein:2008:GFN, 0(0)55--62
-
brief, 0(0)3--4, 0(0)147--154, 0(0)175--180
-
briefly, 0(0)16--23, 0(0)147--154, 0(0)195--207, 0(0)250--254,
0(0)277--284, 0(0)439--447, 0(0)458--459, 0(0)462--463
-
Briek, S., 0(0)54--62
-
Briek:1994:SCT, 0(0)54--62
-
Bright, Curtis, 0(0)51--58
-
Bright:2011:VRN, 0(0)51--58
-
bring, 0(0)9--10, 0(0)16--23, 0(0)138--145
-
Briot:1996:OBP, 1107(0)x--348
-
Brisebarre, Nicolas, 0(0)147--154
-
Brisebarre:2010:CIP, 0(0)147--154
-
broad, 0(0)96--108, 0(0)133--140, 0(0)224--230, 0(0)302--303
-
Broadbery, P. A., 0(0)77--84
-
Broadbery, Peter A., 0(0)25--31
-
Broadbery, Peter A., see Watt, Stephen M.
-
Broadbery:1995:IDE, 0(0)77--84
-
broader, 0(0)278--284
-
broken, 0(0)315--324
-
Brokers, 0(0)1--11
-
Bronstein, 0(0)51--58
-
Bronstein, M., 0(0)64--72, 0(0)207--211
-
Bronstein, Manuel, 0(0)1--6, 0(0)8--13, 0(0)23--28, 0(0)42--48,
0(0)68--75, 0(0)156--163, 0(0)157--160, 0(0)173--179, 0(0)197--204,
0(0)241--246, 0(0)247--249, 0(0)290--296, 0(0)336--340
-
Bronstein, Manuel, see Abbott, John,
see Abramov, Sergei A.
-
Bronstein:1986:GFA, 0(0)247--249
-
Bronstein:1989:FRR, 0(0)64--72
-
Bronstein:1989:SRE, 0(0)207--211
-
Bronstein:1991:RDE, 0(0)241--246
-
Bronstein:1992:LOD, 0(0)42--48
-
Bronstein:1993:FPF, 0(0)157--160
-
Bronstein:1993:IPI, 0(0)viii--321
-
Bronstein:1994:IAF, 0(0)336--340
-
Bronstein:1997:SPD, 0(0)156--163
-
Bronstein:1999:SLO, 0(0)173--179
-
Bronstein:2002:SLO, 0(0)23--28
-
Bronstein:2005:PVE, 0(0)68--75
-
Broughan, 0(0)311--320
-
Broughton, Gary, 0(0)15--22
-
Broughton, Gary, see Barkatou, Moulay A.
-
Brown, 0(0)151--158, 0(0)225--233
-
Brown, C., 0(0)364--377
-
Brown, Christopher W., 0(0)48--53, 0(0)54--60, 0(0)63--70, 0(0)69--76,
0(0)71--78, 0(0)76--83, 0(0)133--140, 0(0)137--144, 0(0)295--301
-
Brown, Christopher W., see McCallum, Scott
-
Brown--Collins, 0(0)333--342
-
Brown:1989:SPP, 0(0)364--377
-
Brown:1998:STI, 0(0)295--301
-
Brown:1999:GSF, 0(0)137--144
-
Brown:2000:IPC, 0(0)48--53
-
Brown:2005:UBE, 0(0)76--83
-
Brown:2007:CQE, 0(0)54--60
-
Brown:2007:PIS, 0(0)99999999
-
Brown:2009:FST, 0(0)63--70
-
Brown:2010:BBW, 0(0)69--76
-
Brown:2013:CSO, 0(0)133--140
-
Brownawell, W. Dale, 0(0)79--86
-
Brownawell:2009:LBZ, 0(0)79--86
-
Brunat, Josep M., 0(0)50--57
-
Brunat:2004:CIF, 0(0)50--57
-
Brunick, Gerard P., 0(0)45--52
-
Brunick:1999:ECD, 0(0)45--52
-
Bruno, 0(0)14--19
-
brute-forcing, 0(0)235--242
-
bsolve, 0(0)295--295
-
Bubeck, T., 0(0)231--248
-
Bubeck:1995:DSC, 0(0)231--248
-
Buchberger, 0(0)12--21, 0(0)39--48, 0(0)49--54, 0(0)55--63, 0(0)55--67,
0(0)72--78, 0(0)103--111, 0(0)112--119, 0(0)123--128, 0(0)192--198,
0(0)203--210, 0(0)209--214, 0(0)216--223, 0(0)218--221,
0(0)224--233, 0(0)233--238, 0(0)254--263, 0(0)257--264,
0(0)264--268, 0(0)271--273, 0(0)273--280, 0(0)277--284,
0(0)296--296, 0(0)331--338, 0(0)382--389, 0(0)387--388, 0(0)399,
0(0)423--439
-
Buchberger, Bruno, 0(0)1--1, 0(0)384--391, 4(0)vi--283
-
Buchberger--Möller, 0(0)55--63
-
Buchberger-style, 0(0)99--106
-
Buchberger:1982:CAS, 4(0)vi--283
-
Buchberger:1997:STP, 0(0)384--391
-
Buchberger:1998:YGB, 0(251)viii--552
-
Buchberger:2005:VFS, 0(0)1--1
-
Buchburger, 0(0)264--268
-
Buchmann, Johannes, 0(0)179--182
-
Buchmann:1991:CNP, 0(0)179--182
-
Buchstab, 0(0)23--30
-
Budan, 0(0)27--34
-
Budan--Fourier, 0(0)35--42
-
Budan=-Fourier, 0(0)35--42
-
Buendgen, R., 0(0)84--93, 0(0)183--194
-
Buendgen:1994:MAT, 0(0)84--93
-
Buendgen:1996:MAP, 0(0)183--194
-
Bueno, F., 0(0)63--73
-
Bueno:1994:CSM, 0(0)63--73
-
build, 0(0)20--26, 0(0)32--40, 0(0)77--77, 0(0)96--103, 0(0)134--138,
0(0)157--166, 0(0)161--168, 0(0)200--209, 0(0)219--226,
0(0)352--359
-
Builder, 0(0)101--110
-
building, 0(0)13--25, 0(0)14--19, 0(0)32--40, 0(0)61--68, 0(0)123--130,
0(0)127--134, 0(0)290--290
-
built, 0(0)7--10, 0(0)55--62, 0(0)83--90, 0(0)158--162, 0(0)162--169
-
built-in, 0(0)96--108, 0(0)133--140, 0(0)210--218, 0(0)265--269
-
bulk, 0(0)77--84
-
bulky, 0(0)240--247
-
Bulletin, 0(0)311--320
-
Bündgen, Reinhard, 0(0)70--78, 0(0)269--277
-
Bundgen:1991:CIP, 0(0)70--78
-
Bundgen:1994:FPC, 0(0)269--277
-
bundle, 0(0)129--133
-
Burge, William H., 0(0)189--190
-
Burge:1991:SRI, 0(0)189--190
-
Burger, Reinhold, 0(0)58--64
-
Burger:2004:CFS, 0(0)58--64
-
Bürgisser, Peter, 0(0)5--6, 0(0)61--68
-
Burgisser:2007:DFC, 0(0)61--68
-
Burgisser:2011:PAC, 0(0)5--6
-
Burke-Perline, T., 0(0)74--83
-
Burke-Perline:1994:PCU, 0(0)74--83
-
Burnel, A., 0(0)103--107
-
Burnel:1992:CCY, 0(0)103--107
-
Burr, Michael, 0(0)87--94
-
Burr--Krahmer, 0(0)319--326
-
Burr--Krahmer--Yap, 0(0)319--326
-
Burr:2008:CSA, 0(0)87--94
-
Burton, Benjamin A., 0(0)59--66
-
Burton:2011:DGV, 0(0)59--66
-
Busé, Laurent, 0(0)48--55, 0(0)65--71, 0(0)69--76
-
Buse:2001:RRP, 0(0)48--55
-
Buse:2004:IPH, 0(0)65--71
-
Buse:2007:IBP, 0(0)69--76
-
Butler, G., 0(0)456--466
-
Butler, Greg, 0(0)59--64, 0(0)210--218, 0(0)251--262
-
Butler:1986:DCC, 0(0)59--64
-
Butler:1989:CVU, 0(0)456--466
-
Butler:1991:DDG, 0(0)210--218
-
Butler:1992:ECA, 0(0)251--262
-
by-product, 0(0)115--122, 0(0)257--264
-
by-reference, call-, 0(0)95--102
-
by-side, side-, 0(0)171--179
-
by-value, call-, 0(0)95--102
-
Bylaws, 30(1)31--33
-
byproduct, 0(0)111--116