Index file section Math for toplas.bib

Last update: Thu Apr 17 02:04:02 MDT 2025

Return to index directory

Math

$^*$, 37(3)9--9
$^+$, 3(4)508--532, 37(3)8--8, 37(3)9--9
$ - 1$, 23(1)73--103
$0$, 23(1)73--103
$ 0 <= D \bmod d < d $, 14(2)127--144
$ 0.0, 1.0 $, 31(1)4--4
$1$, 23(1)73--103
$ 10 \times $, 41(3)15--15
$ 10^{1300} $, 16(5)1512--1542
$2$, 25(4)401--451
$_2$, 31(3)9--9
$ 25 \times $, 41(3)15--15
$ 2^w $, 36(4)11--11
$3$, 24(3)217--298
$^3$, 40(3)11--11
$_3$, 31(3)9--9
$ 5.90 \times $, 41(3)19--19
$A$, 34(3)12--12
$ \alpha $, 30(5)26--26
$ \alpha (n)$, 23(1)73--103
$b$, 9(3)367--389
$ \bot \leq t \leq \top $, 20(6)1251--1264
$ \Box \Diamond p \mapsto \Box \Diamond q$, 17(1)16--27
$C$, 31(4)16--16
$c$, 23(2)105--186
$ C \triangleright R$, 31(4)16--16
$ C \triangleright t $, 31(4)16--16
$ \cal R$, 14(3)339--395
$ {\cal R}_{\hbox {Lin}}$, 17(4)635--671
$ \cdot $, 45(2)7--7
$D$, 14(2)127--144, 17(1)157--179, 21(1)138--173
$d$, 4(4)711--732, 9(3)367--389, 14(2)127--144, 21(2)240--285
$e$, 23(1)73--103
$ \ell $, 16(3)939--953
$F$, 20(6)1171--1194
$f$, 11(4)633--649
$ \gamma (v_{\rm KS}) \subseteq \gamma (v_{\rm MOS}) $, 36(4)11--11
$ \gamma (w_{\rm MOS}) \subseteq \gamma (w_{KS}) $, 36(4)11--11
$h$, 28(2)290--330
$i$, 9(3)367--389, 22(1)162--186, 23(1)73--103
$j$, 22(1)162--186, 23(1)73--103
$K$, 20(1)51--115, 21(1)138--173
$ (k) $, 3(1)60--82, 13(1)150--178, 16(3)1051--1077
$k$, 4(4)615--649, 9(3)367--389, 13(1)150--178, 15(1)133--181, 16(3)428--455, 17(5)777--803, 20(5)980--1013, 20(6)1171--1194, 22(2)224--264, 33(6)21--21
${}_k$, 13(1)150--178
$ k > 1$, 13(1)150--178
$ k^4$, 33(6)21--21
$ K_i$, 17(1)157--179
$L$, 16(6)1699--1718, 18(3)254--267
$l$, 11(4)633--649
$ l = f l$, 11(4)633--649
$ l \mbox { where } l = f l$, 11(4)633--649
$ \lambda $, 4(3)496--517, 17(3)431--447, 20(2)436--482, 31(6)23--23, 32(2)6--6, 33(1)5--5, 38(4)14--14, 41(4)22--22
$ \lambda - \mu \mu \char `{\~}$, 31(4)13--13
$ \lambda B $, 42(1)2--2
$ \lambda \mu \tilde \mu $, 41(2)8--8
$ \lambda_o $, 31(1)4--4
$ \langle v, w \rangle $, 35(4)14--14
$ L_c $, 32(3)7--7
$ l_{ij} $, 23(1)73--103
$ l_{ij} = - 1$, 23(1)73--103
$m$, 23(1)73--103, 28(2)290--330, 39(1)4--4
$ m = 2^w $, 29(5)29--29
$ m n $, 34(3)14--14
$ m^2 + n^2 $, 34(3)14--14
$ \mapsto p$, 17(1)16--27
$ \mapsto q$, 17(1)16--27
$ \mathsf {UC} $, 46(4)13--13
$ \mbox {wp}(C, R)$, 31(4)16--16
$ m_i $, 34(3)14--14
$ \mu $, 27(6)1270--1343, 33(5)15--15, 36(1)2--2, 39(1)4--4
$N$, 14(3)417--461, 18(1)30--72, 20(1)51--115
$n$, 4(3)382--401, 4(4)758--762, 9(3)408--440, 15(5)745--770, 23(1)73--103, 28(2)290--330, 30(4)23--23, 33(6)21--21, 34(3)14--14, 39(1)4--4
$ n \geq t > 0 $, 4(3)382--401
$O$, 9(3)408--440
$ O - \log n$, 9(3)408--440
$ O(\log n)$, 23(1)73--103
$ O(m n) $, 39(1)4--4
$ \omega $, 20(6)1171--1194, 31(3)10--10
$ O(N)$, 18(1)30--72
$ O(n) $, 20(4)845--868
$ O(n \log n)$, 4(4)758--762
$ O(n \log {n}) $, 4(4)758--762
$ O(n, k^4) $, 33(6)21--21
$ O(N^2) $, 18(1)30--72
$ O(n^2 \log n \alpha (n) + n e)$, 23(1)73--103
$ O(n^3) $, 20(4)845--868, 22(5)773--815
$ O(v^4) $, 30(1)4--4
$ O(w / p + d \log p)$, 21(2)240--285
$P$, 22(1)162--186, 32(2)5--5, 32(3)8--8
$p$, 16(4)1215--1247, 17(1)16--27, 17(1)157--179, 21(1)138--173, 21(2)240--285, 35(4)14--14, 36(2)5--5
$ P_{{ CLP }} $, 32(3)8--8
$ p_1$, 16(4)1215--1247
$ p_1, p_2$, 16(4)1215--1247
$ p_2$, 16(4)1215--1247
$_\parallel $, 24(2)153--191
$ \phi $, 17(1)157--179, 17(3)487--506, 27(3)426--440
$ \pi $, 19(6)899--915, 25(5)549--577, 32(4)12--12, 32(4)14--14, 32(5)16--16, 33(1)5--5, 34(2)8--8
$ \Pi \equiv 1 / 2 \Pi + 1 / 2 \Pi $, 32(6)22--22
$ p(x, y) = p_2 (p_1 (x), y)$, 16(4)1215--1247
$q$, 17(1)16--27
$ (R) $, 14(3)339--395
$R$, 14(3)339--395, 18(5)564--614, 31(4)16--16
$^r$, 41(4)20--20
$r$, 34(4)16--16
$_{Ref}$, 40(4)16--16
$\rightarrow$, 11(4)491--516
$_{\rm II}$, 29(2)13--13
$ {\rm lsp} $, 36(3)9--9
$ {\rm pr} $, 36(3)9--9
$ {\rm st} $, 36(3)9--9
$ {\rm st}^{O ({\rm lsp} + \lceil log ({\rm pr} + 1) \rceil)} $, 36(3)9--9
$ R_{\mbox {Lin}}$, 17(4)635--671
$s$, 20(6)1251--1264, 22(1)162--186
$ s \leq t $, 20(6)1251--1264
$ S_1$, 21(1)138--173
$ S_1 + O(K \cdot D \cdot p)$, 21(1)138--173
$ \subseteq $, 31(3)10--10
$ \sum_{i, j \leq n} m_i m_j $, 34(3)14--14
$T$, 13(2)237--268
$t$, 4(3)382--401, 16(4)1117--1155, 20(6)1251--1264, 22(1)162--186, 31(4)16--16
$ \tau_1 $, 39(1)4--4
$ \tau_1 \leq \tau_2 $, 39(1)4--4
$ \tau_2 $, 39(1)4--4
$ \times $, 35(1)3--3, 38(3)12--12, 40(4)14--14, 41(1)1--1
$^{TM}$, 25(6)713--775
$u$, 29(5)29--29
$v$, 13(2)237--268, 30(1)4--4, 35(4)14--14
$ v_{\rm KS} $, 36(4)11--11
$ v_{\rm MOS} $, 36(4)11--11
$w$, 19(3)462--491, 21(2)240--285, 35(4)14--14
$ w > 1 $, 29(5)29--29
$ w / d p \log p$, 21(2)240--285
$ w_1^*, \ldots {},_n^* $, 36(3)9--9
$ w_{KS} $, 36(4)11--11
$ w_{\rm MOS} $, 36(4)11--11
$X$, 13(1)124--149
$x$, 9(3)367--389, 16(4)1215--1247
$ \{ x : \alpha {\rm Stack} | {\rm not} ({\rm empty} x) \} $, 39(1)3--3
$ \{ x : {\rm Int} | x > 0 \} $, 39(1)3--3
$ x, y$, 16(4)1215--1247
$Y$, 13(1)124--149
$y$, 16(4)1215--1247
$ Z \cup \{ r \} $, 34(4)16--16
$ Z_m $, 29(5)29--29