Returned 20 matches (100 formulae, 173 docs)
    Lookup 71.964 ms, Re-ranking 27.062 ms
    Found 1384080 tuple postings, 75062 formulae, 16708 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
1.0000
0.1299 12
1 2
2048 2025
1 ψ
π 4
1 l
N m
648 625
a 0
81 80
1 G
128 125
x y
1 μ
0.5 M
1 R
1 M
157 50
a b
6 2
I A
26 11

1.0000
-1.0000
1.0000
3 3
2 2

1.0000
-1.0000
1.0000
tan θ θ
sin θ θ
sin t t
sin x x
Δ K K
ln n n
d x x
p p
Δ L L
d T T
Δ Y Y

1.0000
-1.0000
1.0000
10 1 10
3 3 13
e 1 e
1.0000
-1.0000
1.0000
φ φ
X log X
n
E δ E
d log d

1.0000
-1.0000
1.0000
α 2 2
r 2 2
x 2 2
v 2 2
i 4 4

1.0000
-1.0000
1.0000
B n n
T p p

1.0000
-2.0000
1.0000
1 w + 1
x 1 + x
P ¬ ¬ P
p 1 - p
d 1 + d
1 n - 1
1 c + 1
p 2 - p
1 x + 1
1 x - 1

1.0000
-2.0000
1.0000
d x x
- d z z

1.0000
-2.0000
1.0000
a - b b
ϕ : ψ ψ
1 - ρ ρ
1 - p p
¬ ¬ P P

1.0000
-2.0000
1.0000
a d b d
A E C E
0.04 m 0.72 m
B M D M
B F A F
C D B D
0.5714
-1.0000
1.0000
3 3
4 4
1 1
0 0
L L
n n
V V
2 2
0.5714
-2.0000
1.0000
ω ω c
D D max
α α G
I I S

0.5714
-2.0000
1.0000
3 13 13

0.5714
-2.0000
1.0000
P P ˙
ϕ ϕ

0.5714
-2.0000
1.0000
α G α
E 1 E
P i P
E 2 E

0.5714
-2.0000
1.0000
1 1

0.5714
-2.0000
1.0000
10
4

0.5714
-2.0000
1.0000
f f
n n

0.5714
-3.0000
1.0000
k g k g
m l m l