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