Returned 29 matches (100 formulae, 165 docs)
    Lookup 0.982 ms, Re-ranking 32.748 ms
    Found 4056 tuple postings, 3412 formulae, 1825 documents
[ formulas ] [ documents ] [ documents-by-formula ]

2 s e q s 6
Doc 1
1.0000, 0.0000, 8.0000, 3.0000
testing/wikipedia/v3/21545.html
2 s e q s 50
Doc 1
1.0000, 0.0000, 8.0000, 3.0000
testing/wikipedia/v3/21545.html
3 s e q s 60
Doc 1
1.0000, 0.0000, 8.0000, 3.0000
testing/wikipedia/v3/21545.html
0 s t
Doc 2
0.3636, -1.0000, 2.0000, 0.3636
testing/wikipedia/v3/07892.html
Doc 4
0.3636, -1.0000, 2.0000, 0.3636
testing/wikipedia/v3/00120.html
1 s m
Doc 3
0.3636, -1.0000, 2.0000, 0.3636
testing/wikipedia/v3/27738.html
d = 2 s ( 1 s m )
Doc 5
0.3636, -6.0000, 2.0000, 0.3636
testing/wikipedia/v3/14325.html
M t = max 0 s t W s
Doc 7
0.3636, -7.0000, 2.0000, 0.3636
testing/wikipedia/v3/02371.html
M t sup 0 s t X ( s )
Doc 6
0.3636, -7.0000, 2.0000, 0.3636
testing/wikipedia/v3/28067.html
0 s
Doc 9
0.3243, 0.0000, 2.0000, 0.3243
testing/wikipedia/v3/17051.html
D 6
Doc 11
0.3243, 0.0000, 2.0000, 0.3243
testing/wikipedia/v3/11020.html
P 6
Doc 8
0.3243, 0.0000, 2.0000, 0.3243
testing/wikipedia/v3/21528.html
s e l
Doc 10
0.3243, 0.0000, 2.0000, 0.3243
testing/wikipedia/v3/01163.html
0 x 4 6
Doc 13
0.3243, -3.0000, 2.0000, 0.3243
testing/wikipedia/v3/28239.html
0 s  2 π
Doc 14
0.3243, -3.0000, 2.0000, 0.3243
testing/wikipedia/v3/02388.html
2 n , n 6
Doc 12
0.3243, -3.0000, 2.0000, 0.3243
testing/wikipedia/v3/00828.html
2 k s ( F ) < 2 k + 1
Doc 15
0.3243, -8.0000, 3.0000, 0.3243
testing/wikipedia/v3/27714.html
a s b
Doc 16
0.2069, -2.0000, 2.0000, 0.2069
testing/wikipedia/v3/30032.html
L s K
Doc 17
0.2069, -2.0000, 2.0000, 0.2069
testing/wikipedia/v3/21648.html
r s
Doc 19
0.1818, -1.0000, 2.0000, 0.1818
testing/wikipedia/v3/10356.html
Doc 20
0.1818, -1.0000, 2.0000, 0.1818
testing/wikipedia/v3/23959.html
N s
Doc 22
0.1818, -1.0000, 2.0000, 0.1818
testing/wikipedia/v3/21860.html
m s
Doc 18
0.1818, -1.0000, 2.0000, 0.3636
testing/wikipedia/v3/03813.html
s m
Doc 18
0.1818, -1.0000, 2.0000, 0.3636
testing/wikipedia/v3/03813.html
s D
Doc 21
0.1818, -1.0000, 2.0000, 0.1818
testing/wikipedia/v3/09836.html
s 0 s s 1
Doc 23
0.1818, -5.0000, 2.0000, 0.1818
testing/wikipedia/v3/22192.html
| A p | = s s
Doc 24
0.1818, -6.0000, 2.0000, 0.1818
testing/wikipedia/v3/24781.html
dim ( A B ) 6
Doc 25
0.1818, -7.0000, 2.0000, 0.1818
testing/wikipedia/v3/10520.html
k 6
Doc 35
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/09313.html
Doc 42
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/06162.html
N 6
Doc 47
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/23669.html
λ = 6
Doc 37
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/10106.html
n 6
Doc 30
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/13655.html
Doc 39
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/07604.html
Doc 52
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/19302.html
d = 6
Doc 27
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/24251.html
Doc 40
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/29894.html
n + 6
Doc 38
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/30338.html
D = 6
Doc 29
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/24993.html
μ = 6
Doc 44
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/14939.html
c = 6
Doc 36
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/08844.html
z 6
Doc 34
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/27265.html
t = 6
Doc 41
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/13106.html
α = 6
Doc 28
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/06270.html
β = 6
Doc 51
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/30255.html
m = 6
Doc 46
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/27114.html
Doc 49
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/14899.html
N × 6
Doc 50
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/17681.html
x = 6
Doc 53
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/25126.html
Doc 55
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/08101.html
n = 6
Doc 26
0.1111, -1.0000, 1.0000, 0.2929
testing/wikipedia/v3/14205.html
Doc 31
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/03919.html
Doc 32
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/02254.html
Doc 33
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/15538.html
Doc 43
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/01574.html
Doc 45
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/18097.html
Doc 48
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/00990.html
Doc 54
0.1111, -1.0000, 1.0000, 0.1111
testing/wikipedia/v3/23942.html
6
Doc 29
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/24993.html
Doc 56
0.0909, 0.0000, 1.0000, 0.3636
testing/wikipedia/v3/05596.html
Doc 57
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/05990.html
Doc 58
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/24794.html
Doc 59
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/10357.html
Doc 60
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/10664.html
Doc 61
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/29417.html
Doc 62
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/02341.html
Doc 63
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/06413.html
Doc 64
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/11448.html
Doc 65
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/10585.html
Doc 66
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/00703.html
Doc 67
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/25659.html
Doc 68
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/00580.html
Doc 69
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/03754.html
Doc 70
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/06075.html
Doc 71
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/25261.html
Doc 72
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/05631.html
Doc 73
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/24663.html
Doc 74
0.0909, 0.0000, 1.0000, 0.0909
testing/wikipedia/v3/05823.html
γ 6
Doc 137
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/01709.html
Doc 145
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/11156.html
5 6
Doc 97
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/05191.html
Doc 134
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/17963.html
p 6
Doc 138
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12740.html
6
Doc 112
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/04747.html
a 6
Doc 85
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12205.html
6
Doc 119
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/16103.html
Doc 142
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/25363.html
Doc 153
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/03484.html
Doc 154
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/00525.html
10 6
Doc 106
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/28203.html
Doc 118
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/25001.html
Doc 123
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/08718.html
Doc 124
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/14584.html
Doc 152
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/07771.html
Doc 155
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/26590.html
S 6
Doc 146
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/26250.html
Ω 6
Doc 121
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/06574.html
h 6
Doc 125
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/22119.html
6 5
Doc 92
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/05590.html
6 ¯
Doc 100
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12682.html
e 6
Doc 120
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/26005.html
6 ^
Doc 96
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/08834.html
Doc 135
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/11170.html
6 6
Doc 107
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/17911.html
B 6
Doc 75
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/14026.html
Doc 76
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/03593.html
χ 6
Doc 79
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/27352.html
0.2 6
Doc 87
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/04829.html
O 6
Doc 103
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/07361.html
Doc 113
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/08991.html
Doc 130
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/15307.html
Δ 6
Doc 98
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/22829.html
C 6
Doc 26
0.1111, -1.0000, 1.0000, 0.2929
testing/wikipedia/v3/14205.html
Doc 79
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/27352.html
Doc 150
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/13857.html
𝔢 6
Doc 90
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/18108.html
Doc 156
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/03709.html
p 6
Doc 102
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/22136.html
6
Doc 99
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12865.html
𝐞 6
Doc 59
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/10357.html
X 6
Doc 126
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/02179.html
Doc 147
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/01466.html
K 6
Doc 26
0.1111, -1.0000, 1.0000, 0.2929
testing/wikipedia/v3/14205.html
Doc 114
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/16755.html
Doc 115
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/10535.html
Doc 128
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/04759.html
16 6
Doc 57
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/05990.html
A 6
Doc 27
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/24251.html
Doc 75
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/14026.html
Doc 76
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/03593.html
Doc 78
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/13962.html
Doc 80
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/24870.html
Doc 133
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/23712.html
f 6
Doc 131
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/18886.html
m 6
Doc 95
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/06598.html
C 6
Doc 116
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/00416.html
S 6
Doc 77
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/11654.html
Doc 78
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/13962.html
Doc 80
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/24870.html
x 6
Doc 84
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/24263.html
Doc 111
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/19888.html
E 6
Doc 75
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/14026.html
Doc 76
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/03593.html
Doc 93
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/08320.html
Doc 101
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12929.html
Doc 104
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/09010.html
Doc 105
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/24976.html
Doc 143
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/04233.html
Doc 144
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/16999.html
Doc 149
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/16730.html
Doc 151
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/10949.html
D 6
Doc 75
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/14026.html
Doc 76
0.0909, -1.0000, 1.0000, 0.3636
testing/wikipedia/v3/03593.html
Doc 77
0.0909, -1.0000, 1.0000, 0.1818
testing/wikipedia/v3/11654.html
ν 6
Doc 94
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/05685.html
Doc 132
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/12890.html
6
Doc 88
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/17403.html
Γ 6
Doc 82
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/25827.html
Doc 86
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/27059.html
Doc 89
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/09506.html
β 6
Doc 127
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/25671.html
a 6
Doc 81
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/22206.html
Doc 108
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/16838.html
Doc 139
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/27317.html
6 0
Doc 148
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/00272.html
( 6 )
Doc 28
0.1111, -1.0000, 1.0000, 0.2020
testing/wikipedia/v3/06270.html
Doc 109
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/21960.html
Doc 110
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/14274.html
Doc 117
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/07485.html
6
Doc 83
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/02986.html
Doc 91
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/09036.html
Doc 122
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/24009.html
Doc 140
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/07587.html
Doc 141
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/11636.html
{ 6 }
Doc 129
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/05272.html
= 6
Doc 136
0.0909, -1.0000, 1.0000, 0.0909
testing/wikipedia/v3/06166.html
5 / 6
Doc 158
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/26549.html
Doc 159
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/02730.html
Doc 160
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/04694.html
Doc 161
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/25750.html
Doc 165
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/10416.html
5 × 6
Doc 58
0.0909, 0.0000, 1.0000, 0.1818
testing/wikipedia/v3/24794.html
8 × 6
Doc 56
0.0909, 0.0000, 1.0000, 0.3636
testing/wikipedia/v3/05596.html
7 × 6
Doc 56
0.0909, 0.0000, 1.0000, 0.3636
testing/wikipedia/v3/05596.html
3 6
Doc 157
0.0909, -2.0000, 1.0000, 0.1818
testing/wikipedia/v3/01568.html
9 × 6
Doc 56
0.0909, 0.0000, 1.0000, 0.3636
testing/wikipedia/v3/05596.html
1 / 6
Doc 164
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/09058.html
16 - 6
Doc 162
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/00742.html
2 / 6
Doc 163
0.0909, -2.0000, 1.0000, 0.0909
testing/wikipedia/v3/12552.html
2 6
Doc 157
0.0909, -2.0000, 1.0000, 0.1818
testing/wikipedia/v3/01568.html