Returned 38 matches (100 formulae, 296 docs)
    Lookup 1831.590 ms, Re-ranking 172.255 ms
    Found 104743476 tuple postings, 670767 formulae, 633615 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.7134
0.0000
5.0000
𝒞formal

0.7134
-1.0000
1.0000
𝔥formal=𝔥

0.6176
0.0000
0.0000
𝔥formal
𝒵formal
Vformal
fnormal
Knormal
normal
𝒩normal
Gformal

0.6176
-1.0000
6.0000
binormal

0.6176
-1.0000
1.0000
Rformald

0.6176
-1.0000
0.0000
formald
𝔫formal±
nformal-
𝔫formal+
𝒩formal+
𝔫formal-
0.6176
-1.0000
0.0000
LformalG
Vformal,

0.6176
-2.0000
0.0000
qnormal

0.6176
-2.0000
0.0000
normalf(H)

0.6176
-3.0000
0.0000
EXP𝒩normal
Pnormal

0.6176
-3.0000
0.0000
normalize¯

0.6176
-3.0000
0.0000
gLformalG

0.6176
-3.0000
0.0000
𝒩normalEXP

0.6176
-3.0000
0.0000
normalized

0.6176
-4.0000
0.0000
Ks(singular region)Knormal

0.5217
0.0000
6.0000
normal

0.5217
0.0000
5.0000
formal

0.5217
-2.0000
6.0000
normal(I)

0.5217
-2.0000
6.0000
c-normal

0.5217
-2.0000
5.0000
Σ~1formal

0.5217
-3.0000
6.0000
yi=normal

0.5217
-3.0000
6.0000
-I^8normal

0.5217
-3.0000
5.0000
G(A)formal
G()formal

0.5217
-4.0000
6.0000
yjt=normal
yit=normal

0.5217
-5.0000
6.0000
orthonormal

0.5217
-5.0000
6.0000
normalXμ=0

0.4255
0.0000
3.0000
Rϕ=2
R=3
Ri=2
Rmin=3
RI=2
Rcirc=2
Ra=N

0.4255
-1.0000
4.0000
Rs2=λ

0.4255
-4.0000
4.0000
mynorm=

0.3288
0.0000
3.0000
R=k
R=n
R=2
R=N
R=3
R=1.1
R=6
R=T
R=P
R=θ
R=8
R=r
R=m
R=α
R=t
R=λ
R=M
R=ρ
R=41
R=12

0.3288
-1.0000
3.0000
R=2ϵ
R=-κ
R=6θ
R=βT
R=2𝒩
R=ab
R=2k

0.3288
-1.0000
3.0000
R=α
R=x2

0.3288
-1.0000
3.0000
HR=2

0.3288
-1.0000
3.0000
R9=2
R25=3

0.3288
-1.0000
3.0000
R=mn

0.3288
-1.0000
2.0000
q=1l

0.3288
-2.0000
3.0000
R=2/λ
R=t/2
R=11/10
R=15/2
R=C/δ
R=3/Λ
R=35/2
R=-2A
R=2Nθ
R=p/q
R=2/3
R=σ+ϵ
R=1/λ
R=d-1

0.3288
-2.0000
3.0000
detR=detD