Index file section T for jsymcomp.bib
Last update: Wed Mar 6 02:01:19 MST 2024
Return to index directory
T
-
T-theorem, 20(3)315--342
-
Tabera, Luis Felipe, 44(2)192--210, 46(8)967--976, 50(z)450--464
-
Tabera, Luis Felipe, see Andradas, Carlos
-
Tabera, Luis-Felipe, 72(z)55--64
-
Tabera, Luis-Felipe, see Recio, Tomás
-
Tabera:2011:OAR, 46(8)967--976
-
Tabera:2013:CHM, 50(z)450--464
-
table, 2(1)45--50, 9(5)591--600, 9(5)601--606, 10(6)531--546,
10(6)647--657, 12(2)197--220, 12(4)415--426, 19(6)585--600,
37(6)727--748, 41(2)173--181, 41(8)847--862, 53(z)64--80,
76(z)1--35, 87(z)87--98
-
Tableau, 28(6)767--776, 29(2)299--341, 29(2)343--372, 31(5)487--520
-
tableaux, 11(5)483--522, 16(5)445--477, 20(5)731--736, 22(5)521--554,
36(1)117--138, 80(z)833--843, 104(z)683--723
-
tackled, 11(3)275--290
-
Tactics, 32(4)305--332
-
Tague, Laura, 73(z)1--26
-
Tague, Laura, see Soeken, Mathias
-
Taha, Maryam, 113(z)53--73
-
Taha, Maryam, see Malekbala, Ghazaleh
-
Tairi, Nafie, 121(z)z
-
Tairi, Nafie, see Seynnaeve, Tim
-
Tait-Martin-Lof, 7(2)113--124
-
Tajima, Shinichi, 44(5)435--448, 82(z)91--122, 89(z)146--170,
96(z)108--121, 107(z)190--208
-
Tajima, Shinichi, see Nabeshima, Katsusuke,
see Shibuta, Takafumi
-
Tajima:2009:AIA, 44(5)435--448
-
Takacs, Stefan, 63(z)1--20
-
Takacs, Stefan, see Pillwein, Veronika
-
Takahashi, Hidekazu, 45(4)393--413, 46(5)571--583
-
Takahashi, Hidekazu, see Ida, Tetsuo
-
Takahashi, Kazuko, 69(z)93--108
-
Takahashi, Kazuko, see Ida, Tetsuo
-
Takahashi, Masako, 7(2)113--124
-
Takahashi, Shuzo, 7(6)573--590
-
Takahashi, Shuzo, see Suppes, Patrick
-
Takahashi:1989:PRC, 7(2)113--124
-
Takayama, Nobuki, 14(2)265--282, 20(5)637--652, 29(4)721--728,
32(6)575--595, 38(4)1167--1168, 39(3)417--431
-
Takayama, Nobuki, see Cohen, Arjeh M.,
see Granger, Michel, \see{Oaku, Toshinori
-
Takayama, Yukihide, 12(1)29--70, 15(5)641--672
-
Takayama:1991:ERF, 12(1)29--70
-
Takayama:1992:AZR, 14(2)265--282
-
Takayama:1993:CCP, 15(5)641--672
-
Takayama:1995:AFR, 20(5)637--652
-
Takemura, Akimichi, 43(5)342--358, 43(6)490--507
-
Takemura, Akimichi, see Aoki, Satoshi
-
taken, 15(5)467--494
-
Takeshima, Taku, 8(6)553--580, 14(4)399--417, 17(6)545--563
-
Takeshima, Taku, see Yokoyama, Kazuhiro
-
Tamaki, Hisao, 8(6)605--628
-
Tamaki, Hisao, see Sato, Taisuke
-
tame, 9(3)281--300, 39(1)103--126, 41(9)964--979, 75(z)244--268
-
Tamely, 33(4)415--423
-
Tameness, 93(z)85--99
-
Tang, Dazhao, 116(z)213--242
-
Tang, Dazhao, see Du, Julia Q. D.
-
Tang, Tingting, 115(z)409--426, 116(z)39--57, 118(z)93--94
-
Tang, Tingting, see Bernal, Edgar A.,
see Dongre, Pratik,
see Hauenstein, Jonathan D.
-
Tang, Xiaoxian, 70(z)112--135, 83(z)342--364
-
Tang, Xiaoxian, see Hong, Hoon,
see Rodriguez, Jose Israel
-
tangent, 19(6)545--558, 22(4)355--376, 39(3)417--431, 41(8)863--886,
47(3)266--281, 77(z)63--77
-
tapered, 4(3)391--396
-
Tarifi, Mohamad, 88(z)21--46
-
Tarifi, Mohamad, see Sitharam, Meera
-
Tarski, 5(1)65--108, 47(7)859--882, 120(z)z
-
task, 9(4)485--502, 15(5)467--494, 19(1)111--132, 19(1)269--282
-
Tate, 67(z)68--92
-
Tate, Sato-, 111(z)61--72
-
Tatone, Amabile, 1(3)317--322
-
Tatone, Amabile, see Rizzi, Nicola
-
tau-method, 22(3)345--354
-
tautology, 11(1)149--180, 15(5)607--640
-
Tauzer, Jeremiah, 38(4)1273--1302
-
Tauzer, Jeremiah, see De Loera, Jesús A.
-
Tavenas, Sébastien, 68(z)195--214, see Koiran, Pascal
-
taxonomically, 7(3)343--370
-
Taxonomies, 97(z)31--55
-
Taylor, 12(2)221--231, 34(6)597--608, 82(z)134--163
-
Taylor, Amelia, 33(2)221--238, 44(10)1477--1486
-
Taylor, Amelia, see Bayer, Dave
-
Taylor, D. E., 25(3)351--360, 31(4)429--445
-
Taylor, D. E., see Howlett, R. B.,
see Rylands, L. J.
-
Taylor, L., 16(1)75--81
-
Taylor, L., see Kalkbrener, M.
-
Taylor:2002:IGB, 33(2)221--238
-
Tcheutia, D. D., 47(11)1347--1371, 53(z)96--118
-
Tcheutia, D. D., see Foupouagnigni, M.
-
Teach, 23(5)453--458, 23(5)535--550
-
teaching, 22(2)227--234, 23(5)503--516
-
TEAMWORK, 21(4)523--541
-
technical, 13(1)1--24, 46(2)183--206
-
technical, non-, 1(1)69--100
-
technical, socio-, 47(2)123--130
-
technique, 2(2)201--206, 3(1)3--38, 3(1)39--68, 3(1)69--115,
3(1)117--132, 3(1)133--151, 3(1)153--181, 3(1)183--202,
3(1)203--216, 3(3)277--281, 3(3)291--301, 6(1)1--18, 6(1)19--36,
8(4)309--326, 9(1)61--72, 9(4)503--514, 10(2)111--137,
10(5)509--524, 11(3)275--290, 12(6)695--714, 13(1)59--80,
13(2)133--138, 13(6)581--604, 14(2)127--140, 15(1)79--84,
15(2)199--210, 15(3)331--348, 15(5)571--606, 15(5)705--744,
16(4)377--399, 17(1)3--21, 18(4)353--364, 18(6)573--584,
19(1)39--64, 19(1)159--174, 19(1)217--244, 21(3)313--328,
21(3)329--336, 22(3)279--314, 22(5)475--520, 23(1)47--78,
23(2)315--333, 29(2)119--147, 29(2)177--211, 30(4)429--449,
32(1)39--54, 35(4)451--461, 35(5)591--615, 40(4)1208--1224,
44(7)836--851, 44(9)1089--1113, 46(12)1378--1402, 50(z)564--577,
52(z)72--96, 61(z)31--52, 64(z)1--2, 90(z)3--41, 98(z)163--191,
99(z)21--49, 104(z)754--804, 115(z)371--406
-
technology, 11(3)291--305, 17(4)297--310, 61(z)66--69
-
Técourt, Jean-Pierre, 44(9)1291--1310,
see Alberti, Lionel
-
tedious, 12(6)669--672
-
Tefera, Akalu, 34(5)329--353
-
Tefera:2002:MMP, 34(5)329--353
-
Teicher, M., 34(2)91--103
-
Teicher, M., see Kaplan, S.
-
Teixeira, M. A., 35(5)617--636
-
Teixeira, M. A., see Jacquemard, A.
-
Teixeira, Pedro, 80(z)451--483
-
Teixeira, Pedro, see Hernández, Daniel J.
-
Tektronix, 4(3)365--380
-
telegraph, 20(2)179--196
-
Telen, Simon, 102(z)63--85, 120(z)z
-
Telen, Simon, see Mourrain, Bernard,
see Sturmfels, Bernd
-
telescopers, 66(z)21--33, 68(z)1--26, 104(z)494--522
-
telescoping, 11(3)195--204, 38(4)1303--1326, 47(8)968--995,
85(z)108--127, 109(z)57--87
-
Tello, Adolfo, Lozano-, 46(2)207--217
-
Temiz, Fatih, 120(z)z
-
Temiz:2024:CCT, 120(z)z
-
Temperini, Marco, 19(1)39--64, 29(2)259--297
-
Temperini, Marco, see Di Blasio, Paolo,
see Formisano, Andrea
-
template, 21(4)561--576
-
TEMPLOG, 8(3)277--296
-
temporal, 8(3)277--296, 22(5)521--554, 22(5)555--584, 22(5)585--614,
22(5)615--626, 22(5)627--648, 22(5)649--664, 22(5)665--698,
22(5)699--720, 22(5)721--735, 23(4)367--398
-
Tempura, 22(5)721--735
-
Ten, 46(7)859--887
-
ten Eikelder, H. M. M., 12(2)143--160
-
ten-parametric, 10(2)203--208
-
Tenberg, Ralf, 32(5)513--531
-
Tenberg, Ralf, see Möller, H. Michael
-
tenEikelder:1991:NFC, 12(2)143--160
-
Tengely, Sz, 89(z)216--226
-
Tengely:2018:PP, 89(z)216--226
-
Tenorio, A., Vigneron-, 58(z)103--116
-
Tenorio, Alberto, Vigneron-, 43(11)804--810
-
tensor, 17(3)283--294, 18(6)585--593, 31(6)745--751, 32(3)273--289,
40(6)1302--1324, 41(12)1309--1327, 46(1)34--53, 50(z)508--531,
52(z)51--71, 54(z)9--35, 85(z)247--274, 87(z)227--237,
113(z)193--210, 114(z)74--98, 118(z)69--92, 120(z)z,
124(z)z--99999999
-
tensor-product, 98(z)65--83
-
Terasaki, Satoshi, 18(3)207--222
-
Terasaki, Satoshi, see Sawada, Hiroyuki
-
term-, 6(2)183--208
-
Term-ordering, 68(z)87--108
-
Term-Rewriting, 19(6)601--623
-
term-rewriting, 8(4)415--422, 21(4)475--506
-
term-value, 3(3)277--281
-
terminating, 3(1)69--115, 20(5)537--566, 23(4)399--412, 100(z)102--136
-
terminating, quasi-, 17(5)421--455
-
termination, 1(4)329--350, 3(1)69--115, 3(1)117--132, 3(1)183--202,
3(3)257--275, 4(3)295--334, 4(3)409--410, 7(3)371--425,
8(4)335--382, 12(3)337--372, 15(5)607--640, 17(1)23--50,
18(5)463--488, 20(1)43--60, 22(3)279--314, 34(1)21--58,
36(3)365--400, 45(11)1234--1249, 50(z)28--49, 104(z)90--104
-
termination, AC-, 38(1)873--897
-
Termination, Omega-, 23(4)399--412
-
terms, lambda-, 20(4)431--470, 22(4)401--424
-
ternary, 16(6)563--584, 79(z)23--42, 116(z)263--283
-
Terrab, E. S., Cheb-, 27(5)501--519
-
terrains, 7(1)11--30
-
Teske, Edlyn, 27(6)521--534
-
Teske:1999:PHM, 27(6)521--534
-
tessellation, 44(6)591--605
-
test, 1(1)101--107, 11(1)83--112, 12(4)475--498, 13(1)47--58,
13(6)683--693, 17(1)91--129, 19(6)527--544, 20(2)151--162,
21(4)377--396, 23(1)47--78, 30(2)151--160, 31(1)229--242,
33(5)735--755, 37(3)403--413, 74(z)125--139, 75(z)149--170,
82(z)74--90, 86(z)51--96, 86(z)153--165, 101(z)1--27
-
test, zero-, 41(9)1004--1020
-
test-data-generation, 17(4)311--320
-
testing, 1(1)57--67, 4(1)11--19, 4(1)77--82, 4(2)233--254, 9(3)320--320,
10(1)1--5, 16(3)305--320, 17(2)133--148, 21(3)313--328,
24(2)161--188, 24(5)509--536, 35(3)241--267, 56(z)107--124,
64(z)35--41, 79(z)249--268, 122(z)z
-
tetrahedra, 77(z)162--174, 108(z)41--54
-
tetrahedral, 17(5)457--472
-
tetrahedrizing, 10(3)335--348
-
Tetruashvili, M., 1(4)383--418
-
th, 115(z)96--123
-
th, -, 115(z)96--123
-
than, 8(1)101--140, 35(4)421--439
-
Thanatipanonda, Thotsaporn Aek, 115(z)1--17
-
Thanatipanonda, Thotsaporn ``Aek, 104(z)38--68
-
Thanatipanonda, Thotsaporn Aek,
see Krityakierne, Tipaluck
-
Thanatipanonda:2021:MCE, 104(z)38--68
-
Thatte, Satish R., 15(2)235--249
-
Thatte:1993:FAT, 15(2)235--249
-
Thayer, F. Javier, 19(1)201--216
-
Thayer, F. Javier, see Farmer, William M.
-
the, 82(z)164--165
-
the-art, state-of-, 115(z)74--95
-
themselves, 10(6)657--664
-
then-else, if-, 15(5)641--672
-
Theobald, Thorsten, 41(12)1360--1375, 91(z)181--199, 109(z)199--201
-
Theobald, Thorsten, see Bernardi, Alessandra,
see Jörgens, Thorsten
-
Theobald:2006:FPC, 41(12)1360--1375
-
theorem, T-, 20(3)315--342
-
theorem-, 7(6)573--590
-
Theorem-Prover, 7(6)573--590
-
theorem-prover, 7(6)573--590
-
theorem-proving, 11(1)21--50, 39(2)209--255
-
Theorema, 41(3)435--470
-
theoretic, 4(2)207--232, 8(4)309--326, 10(1)59--94, 11(1)3--19,
11(5)523--548, 11(5)595--618, 12(4)517--526
-
theoretic, domain-, 8(6)629--650
-
Theoretic, Ideal-, 13(3)231--234
-
theoretic, Invariant-, 11(5)421--438, 11(5)439--454,
11(5)455--470, 11(5)471--482, 11(5)483--522, 11(5)523--548,
11(5)549--578, 11(5)579--594, 11(5)595--618
-
theoretic, number-, 60(z)113--119
-
theoretic, proof-, 8(1)141--199
-
theoretic, Set-, 42(11)1079--1112, 45(4)414--433
-
theoretic, set-, 8(4)383--414, 14(1)71--84
-
theoretical, 4(2)207--232, 8(6)589--604, 11(3)291--305, 20(4)419--430,
23(2)267--286, 40(3)1076--1086
-
theoretical, graph-, 3(3)303--307, 18(3)265--296
-
theoretical, lattice-, 46(3)222--245
-
theories, AC-, 18(4)297--318, 23(1)1--22
-
Theories, AC-, 23(1)1--22
-
theories, AC-, 18(4)297--318
-
Thériault, Nicolas, 56(z)1--26, see Oyono, Roger
-
Théry, L., 25(2)161--194, see Bertot, Y.
-
Théry, Laurent, 23(4)367--398, see Felty, Amy
-
thesis, 8(1)101--140, 41(3)471--474, 41(3)475--511
-
theta, 82(z)134--163, 89(z)171--193, 123(z)z--99999999
-
Thiel, L., 7(5)473--486
-
Thiel, L., see Lam, C. W. H.
-
third, 10(2)203--208, 16(1)9--36, 16(1)37--74, 24(3)493--506,
36(6)855--889
-
third-order, 77(z)63--77, 101(z)202--241
-
Thirty, 44(3)222--231
-
Thiry, G., 8(5)537--541
-
Thiry, G., see Ronveaux, A.
-
Thom, 5(1)121--130
-
Thoma, Apostolos, 74(z)578--591
-
Thoma, Apostolos, see Charalambous, Hara
-
Thomas, 34(5)437--449, 41(9)980--998, 47(10)1233--1266
-
Thomas, M., 25(2)263--284
-
Thomas, M., see Aitken, J. S.
-
Thomas, R., 42(3)298--312
-
Thomas, R., see Fukuda, K.
-
Thomas, R. R., 42(1)54--73
-
Thomas, R. R., see Bogart, T.
-
Thomas, Richard M., 14(2)127--140
-
Thomé, Emmanuel, 33(5)757--775
-
Thome:2002:SCV, 33(5)757--775
-
thousand-digit, 43(1)1--7
-
Threaded, Multi-, 21(4)475--506
-
threaded, multi-, 21(4)475--506
-
three, 3(3)283--289, 10(3)335--348, 10(6)593--610, 13(4)395--412,
20(5)699--724, 28(4)589--609, 31(5)557--564, 45(1)60--73,
50(z)139--158, 73(z)175--191, 104(z)494--522, 112(z)62--78
-
three-, 5(1)141--162
-
Three-Dimensional, 5(1)141--162, 5(1)163--188
-
three-dimensional, 5(1)163--188
-
three-fold, 8(1)101--140
-
three-state, 68(z)285--296
-
three-way, 41(2)173--181
-
threefolds, 76(z)65--83
-
threshold, 80(z)451--483
-
threshold, -, 80(z)451--483
-
through, 14(6)537--556, 34(1)59--81, 46(11)1260--1283, 112(z)25--61
-
Thue, 3(1)39--68, 4(1)103--109, 6(1)99--104, 7(5)457--472, 12(1)1--28,
15(3)297--314, 20(1)61--70, 22(4)425--434, 26(2)173--185,
34(5)437--449, 38(3)1145--1163, 41(9)980--998
-
Thus, 46(8)889--903
-
Thuswaldner, Jörg M., 38(6)1471--1486,
see Kirschenhofer, Peter
-
Tian, W., 33(3)343--355
-
Tian, W., see Boyle, P. P.
-
Tichy, R. F., 22(2)227--234
-
Tichy, R. F., see Aschenwald, D.
-
Tichy, Robert F., 26(2)151--171, 34(5)437--449
-
Tichy, Robert F., see Heuberger, Clemens,
see Pethö, Attila
-
Tidén, Erik, 3(1)183--202
-
Tiden:1987:UPO, 3(1)183--202
-
Tietze, 6(1)59--64
-
Tiezzi, Francesco, 46(2)119--149
-
Tiezzi, Francesco, see Banti, Federico
-
tight, 2(3)261--292, 91(z)116--128
-
time, 2(1)83--98, 2(2)179--200, 4(1)77--82, 4(2)207--232, 5(1)29--36,
5(1)37--64, 5(1)65--108, 5(1)141--162, 7(1)1--10, 7(5)445--456,
7(5)509--522, 7(6)591--610, 8(6)581--588, 9(3)241--250,
9(3)355--374, 9(4)457--484, 10(1)7--37, 10(1)39--52, 10(2)138--164,
10(3)281--310, 10(3)327--334, 10(5)411--436, 12(3)275--298,
12(6)669--672, 13(1)1--24, 13(2)139--173, 13(2)209--220,
15(4)415--450, 15(5)807--842, 17(3)215--226, 17(6)513--528,
18(6)585--593, 19(1)269--282, 19(6)527--544, 20(3)269--286,
20(3)299--314, 21(3)313--328, 21(4)467--474, 22(5)555--584,
22(5)585--614, 22(5)649--664, 22(5)699--720, 26(3)339--341,
27(1)21--30, 30(2)137--149, 33(5)735--755, 41(7)739--762,
41(10)1125--1154, 47(2)123--130, 47(11)1372--1412, 79(z)444--456,
85(z)224--246, 98(z)319--357, 122(z)z
-
time, continuous-, 90(z)65--88
-
time, discrete-, 8(6)581--588
-
time, linear-, 6(1)99--104, 16(6)557--562, 22(5)699--720
-
Time, Polynomial-, 17(6)545--563, 22(1)1--26
-
time, Polynomial-, 5(1)213--236, 74(z)152--180, 104(z)419--475
-
time, polynomial-, 5(1)37--64, 5(1)213--236, 9(3)300--320,
10(3)311--326, 10(5)437--452, 10(6)547--570, 17(6)545--563,
18(6)519--540, 20(3)343--362
-
time, real-, 15(5)807--842
-
time, run-, 12(3)275--298, 21(4)715--734
-
time, space-, 12(3)381--389, 15(5)547--570
-
time-complexity, 18(3)183--186
-
time-correlation, 12(2)221--231
-
timed, 22(5)475--520
-
timestamped, 22(5)649--664
-
timestamps, 22(5)649--664
-
timing, 9(1)49--60, 14(1)31--50, 16(5)423--444
-
Tinelli, Cesare, 47(9)1011--1045, 100(z)1--10
-
Tinelli, Cesare, see Baumgartner, Peter,
see Davenport, James H.
-
Tip, F., 15(5)523--546
-
Tip, F., see van Deursen, A.
-
Tipping, R. H., 3(3)277--281
-
Tipping, R. H., see Ogilvie, J. F.
-
Tiwari, Ashish, 45(2)151--152, 45(2)173--193
-
Tiwari, Ashish, see Gascón, Adrià,
see Ghilardi, Silvio
-
Tiwari, Sharwan K., 101(z)28--50, 109(z)177--198
-
Tiwari, Sharwan K., see La Scala, Roberto
-
Tizziotti, G., 48(z)54--63
-
Tizziotti, G., see Farrán, J. I.
-
to-solve, hard-, 75(z)193--208
-
Tobis, Enrique A., 45(12)1296--1315
-
Tobis, Enrique A., see Cueto, María Angélica
-
Toca, G. M., Diaz-, 45(12)1316--1329
-
Toca, Gema M., Diaz-, 32(3)191--209, 34(1)59--81, 41(11)1174--1186
-
Todd--Coxeter, 9(1)27--38, 12(4)427--438, 19(5)459--488
-
Toeplitz, 22(4)377--380
-
Togbé, Alain, 38(3)1145--1163, see Heuberger, Clemens
-
together, 46(8)889--903
-
Toghani, Zeinab, 115(z)53--73
-
Toghani, Zeinab, see Falkensteiner, Sebastian
-
Toha{\v{n}}eanu, {\c{S}}tefan O., 45(10)965--974
-
Toh{\u{a}}neanu, Stefan O., 77(z)39--62,
see Burity, Ricardo
-
Tohaneanu:2010:BPM, 45(10)965--974
-
Tokio, 22(5)721--735
-
Toledano, Miguel A., Perez-, 46(2)207--217
-
tolerant, Fault-, 80(z)707--718
-
Tollu, C., 75(z)56--73
-
Tollu, C., see Bui, V. C.
-
Tomás, Ana Paula, 19(6)507--526,
see Filgueiras, Miguel
-
Tombal, Ph, 1(4)419--421, 7(1)85--92
-
Tombal:1985:MCD, 1(4)419--421
-
Tombal:1989:APG, 7(1)85--92
-
Tompa, Martin, 1(2)169--188
-
Tompa, Martin, see Borodin, Allan
-
Tonelli-Cueto, Josué, 115(z)142--173
-
Tonelli-Cueto:2023:CNC, 115(z)142--173
-
Tong, Fu, 6(1)117--127
-
Tonks, Andrew, 17(2)159--180
-
Tonks, Andrew, see Brown, Ronald
-
Too, 34(6)479--542
-
tool, 13(6)677--682, 14(1)103--120, 17(4)297--310, 17(4)311--320,
19(1)159--174, 19(1)217--244, 21(3)337--350, 21(4)427--440,
28(1)89--103, 38(4)1191--1205, 61(z)100--115, 78(z)115--132
-
toolbox, 78(z)76--90, 78(z)91--114
-
toolkit, 18(3)249--264
-
Top, J., 71(z)47--59
-
Top, J., see Ngo, L. X. Chau
-
Top, Jaap, 68(z)308--315
-
Top, Jaap, see Put, Marius van der
-
top-down, 4(2)207--232, 102(z)108--131
-
topic, 24(2)209--231
-
Topics, 33(4)425--445
-
topological, 5(1)213--236, 11(5)579--594, 14(2)211--242, 68(z)131--166,
73(z)120--138, 78(z)91--114, 113(z)1--28, 118(z)17--31
-
topologically, 104(z)207--235
-
topology, 5(1)109--120, 5(1)121--130, 5(1)213--236, 12(4)397--414,
14(6)619--644, 36(3)343--364, 38(6)1551--1567, 39(6)719--744,
40(4)1208--1224, 43(4)235--258, 46(6)685--698, 47(3)239--258,
78(z)1--2, 80(z)285--306, 115(z)427--451
-
topos, 8(6)681--695, 35(2)137--151
-
Topuzoglu, Alev, 64(z)53--66
-
Topuzoglu:2014:CRP, 64(z)53--66
-
toral, 50(z)335--349
-
Torgersen, T., 16(2)189--226
-
Torgersen:1993:PSR, 16(2)189--226
-
tori, 40(4)1256--1268, 74(z)1--45
-
toric, 24(3)443--464, 27(4)351--366, 29(4)583--600, 29(4)777--793,
38(2)959--973, 40(6)1361--1382, 41(2)196--209, 42(1)115--135,
42(5)511--532, 42(10)971--991, 43(5)342--358, 43(6)490--507,
43(11)811--844, 44(5)499--506, 44(9)1194--1211, 44(9)1346--1358,
44(11)1551--1565, 46(8)943--966, 46(11)1229--1241, 50(z)374--385,
51(z)55--62, 68(z)254--264, 68(z)265--286, 68(z)285--296,
74(z)109--124, 74(z)276--307, 92(z)222--242, 104(z)683--723,
113(z)242--268, 120(z)z
-
Tornambè, Antonio, 99(z)1--20, see Menini, Laura
-
Tornero, José M., 53(z)53--63,
see González-Jiménez, Enrique
-
Torrecillas, José, Gómez-, 75(z)149--170, 83(z)211--227,
92(z)269--297, 102(z)37--62
-
Torrente, Maria Laura, 109(z)250--258
-
Torrente, Maria Laura, see Beltrametti, Mauro Carlo
-
Torrente, Maria-Laura, 43(12)883--894, 80(z)307--328, 87(z)87--98
-
Torrente, Maria-Laura, see Abbott, John
-
Torrente:2017:PRZ, 80(z)307--328
-
Torrente:2018:CBT, 87(z)87--98
-
Torres, F., 48(z)54--63
-
Torres, F., see Farrán, J. I.
-
torsion, 4(1)53--67, 17(3)283--294, 43(4)293--303
-
torsion-free, 33(1)31--41, 92(z)203--210
-
Torstensson, Anna, 40(3)1087--1105
-
Torstensson:2005:URS, 40(3)1087--1105
-
total, 10(3)225--252, 15(4)415--450, 15(5)607--640, 20(1)43--60,
47(5)536--551
-
totally, 20(1)61--70, 23(4)399--412
-
Tour, Thierry, Boy de la, 14(4)283--302
-
Tourlakis, George, 3(1)39--68
-
Toward, 4(1)111--122, 28(6)739--753, 32(6)699--716, 36(3)513--533,
39(2)209--255, 41(3)381--410, 44(9)1194--1211, 71(z)1--46,
105(z)4--27, 107(z)67--105, 114(z)102--121, 123(z)z--99999999
-
tower, 9(1)49--60, 33(4)415--423, 44(12)1657--1661, 47(7)771--792,
89(z)121--128
-
Toyama, Yoshihito, 15(3)331--348
-
Toyama, Yoshihito, see Middeldorp, Aart
-
trace, 47(1)102--122, 96(z)62--84
-
trace, norm-, 48(z)54--63
-
Trace-based, 46(2)95--118
-
tracing, 23(2)177--190
-
tracking, 15(5)523--546, 74(z)239--254
-
tractability, 45(2)151--152
-
Tractable, 37(5)611--628
-
trading, 45(8)857--878, 47(8)968--995
-
Trager, 9(2)117--174, 24(1)45--50
-
Trager, B., 26(6)789--803, 33(5)609--625, 39(3)305--316,
44(9)1234--1254
-
Trager, B., see Fortuna, E., \see{Gianni, P.
-
Trager, B. M., 68(z)131--166
-
Trager, B. M., see Fortuna, E.
-
Trager, Barry, 6(2)149--168
-
Trager, Barry, see Gianni, Patrizia
-
Trager, Barry M., 9(3)300--320, 34(5)355--398
-
Trager, Barry M., see Cormier, Olivier,
see Kaltofen, Erich
-
training, 22(2)227--234
-
trajectory, 2(1)103--108, 50(z)79--99
-
Tralle, Aleksy, 113(z)171--180
-
Tralle, Aleksy, see Boche{\'n}ski, Maciej
-
Tran, C., 86(z)120--141
-
Tran, C., see Koseleff, P.-V.
-
Tran, Duc-Khanh, 45(2)261--286
-
Tran, Q.-N., 26(6)739--760
-
Tran, Quang Hoa, 81(z)69--87
-
Tran, Quang Hoa, see Botbol, Nicolás
-
Tran, Quoc-Nam, 30(4)451--467, 42(5)495--496, 42(5)533--548
-
Tran:1998:SNM, 26(6)739--760
-
Tran:2000:FAG, 30(4)451--467
-
Tran:2007:NCT, 42(5)533--548
-
Tran:2007:SIA, 42(5)495--496
-
Tran:2010:CCT, 45(2)261--286
-
transcendence, 83(z)93--111
-
transcendental, 2(3)217--236, 7(1)71--84, 9(1)49--60, 10(6)611--632,
11(3)231--250, 13(5)525--544, 16(3)227--242, 19(4)293--304,
19(6)527--544, 22(3)235--246, 46(11)1284--1290, 47(10)1290--1296,
87(z)28--53
-
transcendental, polynomial-, 47(1)16--31
-
Transducer, 27(3)311--324
-
transfer, 17(4)297--310
-
transform, 10(1)59--94, 15(1)91--98, 37(2)137--156, 37(3)377--389,
41(1)122--122, 46(5)550--560, 60(z)113--119, 75(z)219--243,
90(z)65--88, 98(z)319--357, 104(z)824--854, 110(z)66--80
-
transformation, 4(1)35--40, 4(2)207--232, 6(1)59--64, 6(1)65--82,
7(2)125--154, 8(1)101--140, 9(3)355--374, 9(4)503--514,
9(4)515--530, 10(5)481--498, 14(4)303--320, 15(3)315--324,
15(3)349--363, 15(5)495--522, 15(5)571--606, 16(6)597--626,
18(2)157--182, 20(4)431--470, 21(2)245--252, 21(3)337--350,
22(2)121--142, 23(2)191--208, 23(2)229--240, 24(1)103--112,
24(5)563--574, 33(2)145--162, 40(1)831--873, 44(4)333--357,
44(10)1511--1528, 46(3)316--337, 46(6)659--671, 61(z)100--115,
65(z)49--78, 74(z)635--649, 77(z)63--77
-
transformation, Z-, 15(3)349--363
-
transformation, z-, 15(3)349--363
-
transformational, 4(2)207--232
-
transformations, Z-, 15(3)349--363
-
Transforming, 47(6)589--609, 47(6)711--732
-
Transforms, Sub-, 16(1)1--8
-
transition, 10(5)525--528, 12(2)197--220, 22(5)521--554
-
transitive, 4(1)83--92, 4(2)255--268, 12(4)459--474, 14(5)419--436,
16(5)413--422, 30(6)675--716, 39(1)1--30, 45(11)1114--1143,
47(3)315--326, 101(z)51--60, 109(z)88--115
-
Transitive, Vertex-, 8(4)309--326
-
transitive, vertex-, 8(4)309--326, 50(z)465--477, 101(z)51--60
-
transitivity, 15(1)49--66, 108(z)17--22
-
translation, 2(3)293--304, 4(2)207--232, 14(4)283--302, 19(4)353--391,
22(2)121--142, 41(3)471--474, 102(z)173--188
-
translational, 89(z)73--93
-
translator, 15(5)523--546
-
transparency, 19(1)159--174
-
transportation, 41(3)336--356
-
transseries, 46(4)339--359
-
transversal, 17(3)215--226
-
transverse, 7(2)183--188
-
Traugott, J., 7(6)533--572
-
Traugott:1989:DSS, 7(6)533--572
-
traversal, 20(5)653--672
-
Traverso, 47(5)536--551
-
Traverso, C., 36(3)343--364
-
Traverso, C., see Fortuna, E.
-
Traverso, Carlo, 21(4)411--426, 22(4)355--376, 46(5)534--549
-
Traverso, Carlo, see Attardi, Giuseppe,
see Caboara, Massimo
-
Traverso:1996:HFB, 22(4)355--376
-
Traves, William N., 41(12)1295--1308
-
Traves:2006:DOO, 41(12)1295--1308
-
treatment, 5(3)377--384, 7(1)101--101, 10(3)349--370, 16(2)147--154,
42(9)859--870, 75(z)193--208
-
Trébuchet, Philippe, 51(z)63--85,
see Lasserre, Jean-Bernard
-
tree, 3(3)283--289, 7(1)1--10, 7(5)473--486, 8(1)141--199, 8(4)335--382,
8(5)449--478, 9(4)485--502, 11(1)51--82, 12(1)29--70, 12(4)499--516,
13(5)511--524, 14(2)211--242, 14(6)577--618, 15(3)325--330,
15(5)523--546, 17(1)91--129, 17(2)189--212, 17(5)457--472,
18(4)297--318, 18(4)319--352, 19(4)353--391, 20(2)215--233,
21(3)289--292, 21(4)615--634, 22(5)585--614, 23(1)79--118,
40(1)749--794, 41(3)297--316, 41(5)559--572, 42(1)74--88,
44(8)1079--1086, 45(5)574--597, 90(z)3--41, 99(z)127--146,
104(z)580--629, 113(z)242--268, 120(z)z
-
tree-based, 122(z)z
-
tree-decomposable, 79(z)232--248
-
Tree-Structured, 21(4)615--634
-
tree-structured, 21(4)615--634
-
Treinen, Ralf, 14(5)437--458
-
Treinen:1992:NMU, 14(5)437--458
-
Trenard, M. A., Borges-, 30(4)429--449
-
Treur, Jan, 22(5)615--626
-
Treur, Jan, see Engelfriet, Joeri
-
Trevisan, Vilmar, 15(4)393--414, 52(z)3--16
-
Trevisan, Vilmar, see Allem, Luiz Emilio,
see Beauzamy, Bernard
-
trial, 12(6)669--672, 13(6)643--676
-
triangular, 13(2)117--132, 15(2)143--168, 22(4)377--380, 23(2)315--333,
28(1)105--124, 28(1)125--154, 30(2)221--236, 36(3)555--594,
42(7)693--716, 44(7)768--785, 44(7)891--907, 46(12)1378--1402,
47(4)422--453, 47(6)610--642, 49(z)3--26, 50(z)110--138,
50(z)564--577, 68(z)230--258, 68(z)316--325, 72(z)182--195,
82(z)123--133, 87(z)140--175, 98(z)246--269, 102(z)108--131,
115(z)371--406
-
triangularizing, 16(2)83--114
-
triangulation, 17(4)321--340, 23(2)315--333, 44(9)1291--1310
-
trigonometric, 13(6)643--676, 16(4)377--399, 24(5)563--574,
26(3)279--300, 29(6)971--983
-
trigonometric, power-, 80(z)273--284
-
trigonometric-polynomial, 101(z)318--329, 121(z)z
-
trilinear, 9(3)251--280
-
Trinder, P. W., 49(z)95--119
-
Trinder, P. W., see Linton, S.
-
Trindle, C., 2(2)207--212
-
Trindle:1986:AMR, 2(2)207--212
-
trinomial, 4(1)99--102, 79(z)108--118, 95(z)151--161
-
Tripathi, Gaurab, 91(z)17--29
-
Tripathi, Gaurab, see Saha, Joydip
-
triple, 10(3)371--393, 19(6)585--600, 53(z)53--63
-
trivariate, 5(1)141--162
-
trivial, non-, 16(2)155--166, 102(z)304--327
-
Trivializing, 42(6)579--586
-
tropical, 41(12)1360--1375, 42(1)54--73, 44(8)1079--1086, 46(7)755--772,
47(12)1447--1478, 51(z)86--98, 74(z)46--54, 80(z)251--272,
89(z)227--254, 91(z)116--128, 91(z)129--148, 93(z)100--119,
96(z)122--152, 101(z)61--72, 102(z)132--152, 104(z)580--629,
108(z)91--97, 109(z)399--403, 114(z)282--301, 115(z)53--73,
115(z)316--319, 120(z)z
-
Tropicalization, 99(z)242--249
-
Trotter, Hale F., 5(1)213--236
-
Trotter, P. G., 20(4)471--482
-
true, 13(3)255--299, 15(2)123--142, 91(z)129--148
-
truncated, 13(4)395--412, 102(z)63--85, 110(z)66--80
-
truncation, 6(2)249--266, 15(2)181--198
-
truth, 12(3)299--328, 76(z)1--35
-
Trybulec, Andrzej, 32(1)143--169
-
Trybulec, Andrzej, see Rudnicki, Piotr
-
Trying, 23(5)577--588
-
Tsai, Harrison, 29(4)747--775, 32(6)597--617
-
Tsai, Ya-Lun, 77(z)162--174, 114(z)231--245
-
Tsai:2000:WCL, 29(4)747--775
-
Tsai:2001:CHB, 32(6)597--617
-
Tsai:2016:ENT, 77(z)162--174
-
Tsai:2023:ECY, 114(z)231--245
-
Tsarev, Serguei P., 36(3)443--471
-
Tsarev, Serguei P., see Li, Ziming
-
Tselman, Michael, 24(3)471--488
-
Tselman, Michael, see Cooperman, Gene
-
Tsigaridas, Elias, 84(z)25--56, 92(z)31--51, 98(z)65--83, 101(z)1--27,
101(z)128--151, 102(z)189--208, 105(z)71--96, 115(z)142--173,
115(z)427--451, 122(z)z
-
Tsigaridas, Elias, see Bartzos, Evangelos,
see Bender, Matías R.,
see Burr, Michael, \see{Bus{\'e}, Laurent,
see Emiris, Ioannis, \see{Helmer, Martin,
see Herman, Aaron,
see Katsamaki, Christina,
see Strzebonski, Adam,
see Tonelli-Cueto, Josué
-
Tsigaridas, Elias P., 44(7)818--835, 74(z)181--204, 105(z)145--164
-
Tsigaridas, Elias P., see Diochnos, Dimitrios I.,
see Emiris, Ioannis Z.,
see Pan, Victor Y.
-
Tsiknis, George, 9(2)185--206, 17(2)181--188
-
Tsiknis, George, see Kean, Alex
-
Tsitouras, Ch, 37(3)311--327
-
Tsitouras, Ch., see Famelis, I. Th.
-
tslin, M. A. Ta{\u{\i}}, 14(5)437--458
-
Tsuji, Kuniaki, 44(1)99--110
-
Tsuji:2009:IEG, 44(1)99--110
-
Tsun, Wen-, 47(6)586--588
-
Tu, Changhe, 73(z)221--243
-
Tu, Changhe, see Jia, Xiaohong
-
tube-ode2, 15(1)91--98
-
tubular, 30(5)583--593, 72(z)55--64
-
Tucker, Robin W., 12(6)655--668
-
Tucker, Robin W., see Hartley, David
-
Tuckey, Philip, 20(2)197--206
-
Tuckey, Philip, see Hartley, David
-
Tulipani, Sauro, 15(2)235--249, 16(5)478--492, 16(5)493--521,
20(3)315--342, 21(2)211--244
-
Tummarakota, Srinivas, 22(1)105--119
-
Tummarakota:1996:SFE, 22(1)105--119
-
Tuncer, Baris, 99(z)189--230
-
Tuncer, Baris, see Monagan, Michael
-
Tung, Shih Ping, 10(5)395--404, 33(2)239--254, 44(10)1410--1424
-
Tung:2002:ASP, 33(2)239--254
-
Tung:2009:ANS, 44(10)1410--1424
-
Tunstel, E., 10(5)509--524
-
Tunstel, E., see Vira, N.
-
Tuomela, Jukka, 43(3)153--167
-
Tuomela, Jukka, see Krupchyk, Katsiaryna
-
tuple, 6-, 12(2)233--254
-
tuples, 120(z)z
-
Turatti, Ettore Teixeira, 120(z)z
-
Turatti, Ettore Teixeira, see Sodomaco, Luca
-
Turing, 8(4)415--422, 14(6)619--644, 18(3)199--206, 18(6)585--593,
20(3)343--362
-
Turing-reducible, 10(6)611--632
-
Turrini, Cristina, 91(z)74--97
-
Turrini, Cristina, see Bertolini, Marina
-
tutorial, 1(1)69--100, 1(2)119--142, 2(2)179--200, 45(5)501--522
-
twelve, 4(2)255--268
-
twin-float, 47(5)536--551
-
twisted, 9(5)551--570
-
Twists, Half-, 34(2)91--103
-
two, 1(3)261--270, 2(2)171--178, 4(1)35--40, 4(3)381--390, 5(1)261--266,
5(3)377--384, 9(5)601--606, 12(6)695--714, 13(2)221--230,
13(6)683--693, 14(2)141--178, 15(3)267--276, 23(4)427--443,
25(3)329--350, 26(6)677--690, 28(4)495--520, 28(4)521--545,
28(4)681--710, 32(1)39--54, 32(1)119--132, 32(3)291--301,
33(1)77--122, 33(2)221--238, 33(4)479--491, 38(6)1535--1550,
40(3)1076--1086, 41(10)1105--1124, 41(11)1187--1205, 45(4)443--461,
45(7)723--733, 46(3)246--271, 47(10)1175--1191, 64(z)16--21,
68(z)285--296, 73(z)221--243, 94(z)52--69, 98(z)270--283,
101(z)189--201, 101(z)242--269, 104(z)824--854, 113(z)74--96,
115(z)124--141, 120(z)z
-
two-, 9(4)515--530, 20(5)755--768
-
two-body, 10(2)179--202, 40(4)1256--1268
-
two-bridge, 68(z)215--229
-
Two-Dimensional, 5(3)321--338
-
two-dimensional, 5(3)321--338, 10(3)225--252, 10(3)371--393,
37(2)187--207, 43(4)275--292, 92(z)93--109
-
two-parameter, 45(1)1--18
-
two-parametric, 26(2)151--171
-
Two-Phase, 8(3)305--308
-
two-phase, 8(3)305--308
-
two-point, 39(2)171--199
-
two-sided, 3(1)183--202
-
Two-step, 123(z)z--99999999
-
two-variable, 80(z)451--483
-
type, 1(3)323--328, 2(4)325--355, 3(1)z--z, 4(2)191--205, 5(1)213--236,
7(3)343--370, 8(1)141--199, 8(6)629--650, 8(6)651--680,
8(6)681--695, 9(1)1--26, 10(2)203--208, 11(1)83--112, 11(4)349--368,
12(6)695--714, 14(1)71--84, 15(5)495--522, 15(5)523--546,
15(5)641--672, 15(5)673--704, 17(1)23--50, 18(1)41--82,
18(2)91--112, 19(1)3--24, 19(1)25--38, 19(1)39--64, 19(1)65--79,
19(1)79--110, 19(6)601--623, 21(2)245--252, 21(4)561--576,
22(2)155--178, 29(4)545--582, 31(4)429--445, 34(2)137--144,
37(4)415--448, 41(1)67--79, 44(3)271--279, 47(11)1309--1317,
50(z)50--78, 52(z)97--123, 71(z)60--72, 74(z)400--407,
79(z)140--155, 99(z)108--126, 118(z)17--31
-
type, data-, 15(5)673--704
-
Type, Gosper-, 28(4)711--736
-
type, Kolchin-, 102(z)173--188
-
type, Macaulay-, 46(8)919--942
-
type, mixed-, 19(6)545--558
-
Type, PBW-, 32(5)475--490
-
type, Sylvester-, 38(1)777--814
-
type-free, 14(1)71--84
-
typed, 3(1)z--z, 8(6)651--680, 8(6)681--695, 19(6)601--623,
22(3)279--314, 22(4)401--424, 25(4)455--526
-
typed, simply-, 20(4)431--470
-
typing, 8(6)651--680
-
Tyugu, E., 5(3)359--376
-
Tyugu, E., see Mints, G.