Returned 94 matches (100 formulae, 95 docs)
    Lookup 2.469 ms, Re-ranking 234.038 ms
    Found 46538 tuple postings, 41620 formulae, 10096 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
0.0000
17.0000
1.0000
testing/wikipedia/v3/07473.html
μ ( A ) = { 1  if  0 A 0  if  0 A .

Doc 2
0.7494
-5.0000
13.0000
0.7494
testing/wikipedia/v3/02601.html
χ A ( x ) = { 1 if  x A , 0 if  x A .

Doc 3
0.7494
-6.0000
10.0000
0.7494
testing/wikipedia/v3/16046.html
δ s i ( X ) = { 1  if  s i X 0  if  s i X

Doc 4
0.7241
-12.0000
7.0000
0.7241
testing/wikipedia/v3/27591.html
g ( x ) = { 0 if  0 x < 1 - α 1 if  1 - α x 1 .

Doc 5
0.7241
-12.0000
7.0000
0.7241
testing/wikipedia/v3/02359.html
g ( x ) = { 0 if  0 x < 1 - α 1 if  1 - α x 1 .

Doc 6
0.6878
-5.0000
10.0000
0.6878
testing/wikipedia/v3/02892.html
F ( x ) = { 1 , if  x S 0 , if  x S

Doc 7
0.6878
-6.0000
13.0000
0.6878
testing/wikipedia/v3/03830.html
𝟏 A ( x ) = { 1 if  x A , 0 if  x A .

Doc 8
0.6878
-9.0000
7.0000
0.6878
testing/wikipedia/v3/12488.html
I ( y j ) = { 0 if y j = y L 1 if y j y L .

Doc 9
0.6261
-6.0000
8.0000
1.7543
testing/wikipedia/v3/21589.html
ϕ ( x ) = { 1 if  x > x 0 0 if  x < x 0
ϕ ( x ) = { 1 if  x R 0 if  x A
ϕ ( T ) = { 1 if  T > t 0 0 if  T < t 0
Doc 10
0.6261
-7.0000
12.0000
0.6261
testing/wikipedia/v3/04814.html
𝟏 A ( ω ) = { 1 if  ω A , 0 if  ω A ,

Doc 11
0.6261
-7.0000
8.0000
0.6261
testing/wikipedia/v3/02560.html
δ ( a , b ) = { 1 if  a = b 0 if  a < b .

Doc 12
0.6261
-8.0000
10.0000
0.6261
testing/wikipedia/v3/00650.html
m ( A ) = { 1 if  A F 0 if  S A F undefined otherwise

Doc 13
0.6261
-9.0000
6.0000
0.6261
testing/wikipedia/v3/22229.html
δ x ( U ) = { 0 if x U 1 if x U U 𝒯

Doc 14
0.6261
-11.0000
8.0000
1.2522
testing/wikipedia/v3/02200.html
F ( k ; k 0 ) = { 1 , if  k k 0 0 , if  k < k 0
f ( k ; k 0 ) = { 1 , if  k = k 0 0 , if  k k 0

Doc 15
0.6018
-5.0000
7.0000
0.6018
testing/wikipedia/v3/23409.html
e b ( b ) = { 1 if  b = b 0 otherwise.

Doc 16
0.6018
-6.0000
7.0000
0.6018
testing/wikipedia/v3/02625.html
f ( x ) = { 1 if  w x + b > 0 0 otherwise

Doc 17
0.6018
-13.0000
8.0000
0.6018
testing/wikipedia/v3/05074.html
N i 0 ( x ) = { 1 , if  x [ u i , u i + 1 ) 0 , otherwise 

Doc 18
0.6018
-14.0000
9.0000
0.6018
testing/wikipedia/v3/08338.html
Π ( t ) = def { 1 if  | t | < 1 2 , 0 if  | t | > 1 2 .

Doc 19
0.5854
-7.0000
12.0000
0.5854
testing/wikipedia/v3/03301.html
𝟏 A ( x ) := { 1 if  x A , 0 if  x A .

Doc 20
0.5854
-8.0000
11.0000
1.1604
testing/wikipedia/v3/01122.html
δ x 0 ( A ) = { 1 if x 0 A 0 if x 0 A
H ( x ) = { 1 if  x 0 0 if  x < 0.

Doc 21
0.5854
-16.0000
8.0000
0.5854
testing/wikipedia/v3/30079.html
f ( x ) = { m x + y 1 - m x 1 if  0 x < x 1 0 if  x x 1

Doc 22
0.5751
-3.0000
7.0000
0.5751
testing/wikipedia/v3/07817.html
f ( x ) = { 1 if  x > 0 0 otherwise

Doc 23
0.5751
-3.0000
6.0000
0.5751
testing/wikipedia/v3/01230.html
X ( t ) = { 1 , sys functions at time  t 0 , otherwise

Doc 24
0.5751
-6.0000
8.0000
0.5751
testing/wikipedia/v3/11871.html
f ( x ) = { 1 , if  x  is rational 0 , if  x  is irrational

Doc 25
0.5751
-6.0000
7.0000
0.5751
testing/wikipedia/v3/02218.html
d | n λ ( d ) = { 1 if  n  is a perfect square, 0 otherwise.

Doc 26
0.5751
-6.0000
7.0000
0.5751
testing/wikipedia/v3/21863.html
D ( t ) = { 1 / m if  | t | 1 0 otherwise

Doc 27
0.5751
-7.0000
8.0000
0.5751
testing/wikipedia/v3/03879.html
ϵ ( X n ) = { 1 if  n = 0 0 if  n > 0

Doc 28
0.5751
-7.0000
6.0000
0.5751
testing/wikipedia/v3/23653.html
h ( i , x ) = { 1 if   program  i  halts on input  x , 0 otherwise.

Doc 29
0.5751
-8.0000
8.0000
0.5751
testing/wikipedia/v3/10419.html
ε ( n ) = { 1 , if  n = 1 0 , if  n 1

Doc 30
0.5751
-8.0000
8.0000
0.5751
testing/wikipedia/v3/00690.html
ε ( n ) = { 1 , if  n = 1 0 , if  n > 1

Doc 31
0.5751
-8.0000
8.0000
0.5751
testing/wikipedia/v3/13678.html
h ( k ) = { 1 , if  k 0 0 , if  k < 0

Doc 32
0.5751
-9.0000
7.0000
0.5751
testing/wikipedia/v3/25221.html
g k ( x ) = { 1 if  x = a j , j k 0 otherwise

Doc 33
0.5751
-9.0000
6.0000
0.5751
testing/wikipedia/v3/23547.html
H ( t ) = { 0 , if  t 0 ; 1 , if  t > 0.

Doc 34
0.5751
-10.0000
9.0000
0.5751
testing/wikipedia/v3/00689.html
d | n μ ( d ) = { 1  if  n = 1 0  if  n > 1.

Doc 35
0.5751
-10.0000
6.0000
1.0894
testing/wikipedia/v3/03635.html
f ( x ) = g ( x ) = { 0 if  x 0 1 if  x = 0
f ( f ( x ) ) = { 1 if  x 0 0 if  x = 0

Doc 36
0.5751
-11.0000
8.0000
0.5751
testing/wikipedia/v3/04437.html
f ( x ) = { 1 - x 2 if | x | < 1 0 if | x | 1

Doc 37
0.5751
-16.0000
8.0000
0.5751
testing/wikipedia/v3/00086.html
χ 0 ( a ) = { 1 if  gcd ( a , n ) = 1 , 0 if  gcd ( a , n ) 1.

Doc 38
0.5641
-5.0000
6.0000
0.5641
testing/wikipedia/v3/00697.html
F ( x ) = { 0 if  x < μ 1 if  x μ

Doc 39
0.5641
-8.0000
9.0000
0.5641
testing/wikipedia/v3/00617.html
( x 2 p ) = { 1 if  p x 0 if  p x .

Doc 40
0.5641
-8.0000
8.0000
0.5641
testing/wikipedia/v3/04339.html
χ A ( x ) = { 0 , if  x A 1 , if  x A

Doc 41
0.5641
-8.0000
7.0000
0.5641
testing/wikipedia/v3/01745.html
ρ ( x , y ) = { 1 if x y , 0 if x = y

Doc 42
0.5641
-11.0000
7.0000
0.5641
testing/wikipedia/v3/15831.html
s ( t ) = { A e 2 i π f 0 t if  0 t < T 0 otherwise

Doc 43
0.5405
-4.0000
9.0000
0.5405
testing/wikipedia/v3/01404.html
𝟏 A ( x ) = { 1  if  x A 0  otherwise

Doc 44
0.5405
-4.0000
9.0000
0.5405
testing/wikipedia/v3/15768.html
1 A ( x ) = { 1 if  x A 0 else

Doc 45
0.5405
-5.0000
9.0000
0.5405
testing/wikipedia/v3/09848.html
( 𝕀 A ) i = { 1  if  x i A 0  otherwise

Doc 46
0.5405
-8.0000
6.0000
0.5405
testing/wikipedia/v3/06116.html
K ( x , y ) = { 1 , if x y 0 , otherwise .

Doc 47
0.5405
-9.0000
6.0000
0.5405
testing/wikipedia/v3/07596.html
H ( x , y ) = { 1 if  x 2 + y 2 1 0 else

Doc 48
0.5405
-15.0000
9.0000
0.5405
testing/wikipedia/v3/10270.html
( A i ) x , y = { 1 , if  ( x , y ) R i , 0 , otherwise. ( 1 )

Doc 49
0.5405
-15.0000
8.0000
0.5405
testing/wikipedia/v3/24079.html
( D i ) x , y = { 1 , if  ( x , y ) R i , 0 , otherwise.    ( 1 )

Doc 50
0.5220
-10.0000
8.0000
0.5220
testing/wikipedia/v3/04706.html
e m , e n = { 1 if m = n 0 if m n .

Doc 51
0.5143
-2.0000
6.0000
0.5143
testing/wikipedia/v3/09174.html
[ P ] = { 1 if  P  is true; 0 otherwise.

Doc 52
0.5018
-8.0000
8.0000
0.5018
testing/wikipedia/v3/05488.html
δ b a = { 1 if  a = b , 0 if  a b .

Doc 53
0.5018
-12.0000
8.0000
0.5018
testing/wikipedia/v3/16385.html
I | X | K = { 1 if  | X | K , 0 if  | X | < K .

Doc 54
0.4791
-8.0000
7.0000
0.4791
testing/wikipedia/v3/05953.html
I Q ( x ) := { 1  if  x  is rational , 0  if  x  is irrational .

Doc 55
0.4791
-8.0000
7.0000
0.4791
testing/wikipedia/v3/03682.html
f ( x ) = { x if  x 0 , 0 if  x < 0

Doc 56
0.4791
-12.0000
7.0000
0.4791
testing/wikipedia/v3/25513.html
f ( x ) = { e - 1 / x 2 if  x 0 0 if  x = 0

Doc 57
0.4791
-13.0000
7.0000
0.4791
testing/wikipedia/v3/04042.html
f ( x ) = { x 2 sin ( 1 / x ) if  x 0 0 if  x = 0

Doc 58
0.4791
-13.0000
7.0000
0.4791
testing/wikipedia/v3/03277.html
s ( x ) = { ε , if  f ( x ) ε 0 , if  f ( x ) < ε

Doc 59
0.4534
-8.0000
7.0000
0.4534
testing/wikipedia/v3/06302.html
( a 0 ) = { 1 if  a = ± 1 , 0 otherwise.

Doc 60
0.4390
-5.0000
7.0000
0.4390
testing/wikipedia/v3/04200.html
y = { 1 if  u θ 0 if  u < θ

Doc 61
0.4390
-9.0000
7.0000
0.4390
testing/wikipedia/v3/16410.html
δ i j = { 1 , if  i = j 0 , if  i j

Doc 62
0.4390
-12.0000
7.0000
0.4390
testing/wikipedia/v3/01251.html
V o = { 1 , if  V + > V - 0 , if  V + < V -

Doc 63
0.4390
-14.0000
7.0000
0.4390
testing/wikipedia/v3/07804.html
v i ( v j ) = δ j i = { 1 if  i = j 0 if  i j ,

Doc 64
0.4390
-14.0000
7.0000
0.4390
testing/wikipedia/v3/25821.html
u i T u j = { 1 , if  i = j , 0 , if  i j E .

Doc 65
0.4390
-15.0000
7.0000
0.4390
testing/wikipedia/v3/03067.html
j ( x i ) = δ j i = { 1 , if  j = i 0 , if  j i

Doc 66
0.4390
-27.0000
9.0000
0.4390
testing/wikipedia/v3/24898.html
μ ( A ) = { ( 1 - 1 λ ) 𝟏 0 A + ν ( A ) , if  λ > 1 ν ( A ) , if  0 λ 1 ,

Doc 67
0.4174
-5.0000
6.0000
0.4174
testing/wikipedia/v3/08484.html
( X ) + = { X if  X 0 0 else

Doc 68
0.4174
-6.0000
6.0000
0.4174
testing/wikipedia/v3/21410.html
A u , v = { 1 if  {u,v}   ϵ   E 0 otherwise

Doc 69
0.4174
-8.0000
6.0000
0.4174
testing/wikipedia/v3/27339.html
G i , j = { 1 if  S i S j 0 otherwise

Doc 70
0.4174
-11.0000
6.0000
0.4174
testing/wikipedia/v3/03149.html
Y i = { 1 if  Y i 1 > Y i 0 , 0 otherwise.

Doc 71
0.4174
-11.0000
6.0000
0.4174
testing/wikipedia/v3/27166.html
1 { X 𝔼 [ X ] } = { 1 if  X 𝔼 [ X ] 0 else

Doc 72
0.4174
-12.0000
7.0000
0.4174
testing/wikipedia/v3/17367.html
( x ) := { 1 , if  | x | 1 / 2 , 0 if  otherwise .

Doc 73
0.4174
-12.0000
6.0000
0.8099
testing/wikipedia/v3/25313.html
i j = { 1 / L ( p j ) , if  j  links to  i 0 , otherwise
𝐃 i = { 1 , if  L ( p i ) = 0 0 , otherwise

Doc 74
0.4174
-12.0000
6.0000
0.4174
testing/wikipedia/v3/06651.html
1 y t = v k = { 1 , if  y t = v k 0 , otherwise

Doc 75
0.4174
-14.0000
7.0000
0.4174
testing/wikipedia/v3/12843.html
fact ( n ) = { 1 if  n = 0 n fact ( n - 1 ) if  n > 0

Doc 76
0.3925
-7.0000
6.0000
0.3925
testing/wikipedia/v3/04562.html
δ 0 = { 1 if X 1 = 0 , 0 otherwise,

Doc 77
0.3925
-8.0000
6.0000
0.3925
testing/wikipedia/v3/23305.html
I = { 1 if  Y 1 / 3 , 0 otherwise ,

Doc 78
0.3925
-9.0000
6.0000
0.7850
testing/wikipedia/v3/16017.html
Y 1 = { 1 if  Y 1 * > 0 , 0 otherwise ,
Y 2 = { 1 if  Y 2 * > 0 , 0 otherwise ,

Doc 79
0.3925
-12.0000
7.0000
0.3925
testing/wikipedia/v3/23320.html
t n = { 1 if  m = 1 mod 4 0 if  m = 3 mod 4

Doc 80
0.3925
-12.0000
6.0000
0.3925
testing/wikipedia/v3/09132.html
x n = { 1  if  T θ n ( x ) [ 0 , θ ) 0  else

Doc 81
0.3925
-13.0000
7.0000
0.3925
testing/wikipedia/v3/05796.html
a n = { 1 if  n = 2 k - 1 , 0 if  n = 2 k

Doc 82
0.3925
-13.0000
6.0000
0.3925
testing/wikipedia/v3/08931.html
Y = { 1 if  Y > 0  i.e.  - ε < X β , 0 otherwise.

Doc 83
0.3756
-8.0000
8.0000
0.3756
testing/wikipedia/v3/02805.html
μ ( A ) = { | A | if  A  is finite + if  A  is infinite

Doc 84
0.3553
-6.0000
5.0000
0.3553
testing/wikipedia/v3/04153.html
𝐈 O := { 1 if  x > μ , 0 else

Doc 85
0.3553
-17.0000
4.0000
0.3553
testing/wikipedia/v3/07277.html
δ x ( A ) = 1 A ( x ) = { 0 , x A ; 1 , x A .

Doc 86
0.2449
-13.0000
5.0000
0.2449
testing/wikipedia/v3/15209.html
𝟏 A ( x ) := { 1 , x A ; 0 , x A .

Doc 87
0.2290
-5.0000
4.0000
0.2290
testing/wikipedia/v3/07500.html
μ ( A ) = Pr ( D A ) .

Doc 88
0.2290
-12.0000
3.0000
0.2290
testing/wikipedia/v3/11562.html
c n = { 0 s n A , 1 s n A .

Doc 89
0.2087
-1.0000
4.0000
0.2087
testing/wikipedia/v3/03442.html
μ ( A ) = 0

Doc 90
0.2087
-1.0000
4.0000
0.2087
testing/wikipedia/v3/13112.html
μ ( A ) =

Doc 91
0.2087
-1.0000
4.0000
0.2087
testing/wikipedia/v3/12086.html
μ ( A ) =

Doc 92
0.2087
-2.0000
4.0000
0.2087
testing/wikipedia/v3/16284.html
μ ( A ) = χ A

Doc 93
0.2087
-3.0000
4.0000
0.2087
testing/wikipedia/v3/10189.html
μ ( A B ) = 0

Doc 94
0.2087
-3.0000
4.0000
0.2087
testing/wikipedia/v3/11390.html
μ 0 ( A ) = +

Doc 95
0.1463
-4.0000
3.0000
0.1463
testing/wikipedia/v3/01717.html
( A c ) c = A .