Returned 72 matches (100 formulae, 60 docs)
    Lookup 2.050 ms, Re-ranking 0.156 ms
    Found 20787 tuple postings, 16604 formulae, 6491 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
3.7698
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A B = ( A c B s ) c
A B = ( A c B s ) c
A B = ( A c B s ) c
A B = ( A B ) B
A B = ( A B ) B
( A B ) C
A B = b B A b
( A B ) C = A ( B C )
( A B ) C = A ( B C )
Doc 2
0.6383
1.2466
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Opening_(morphology).html
A B = ( A c B s ) c
A B = ( A B ) B ,
( A B ) B = A B
Doc 3
0.3871
0.5222
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
A B = ( A B ) B ,
( A B ) B = A B

Doc 4
0.3333
2.8164
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
A c B c ( A B ) c
A c B c ( A B ) c
A c B c ( A B ) c
( A B ) c = A c B c
( A B ) c = A c B c
( A B ) c = A c B c
( A B ) c A c B c
( A B ) c A c B c
( A B ) c A c B c
x ( A B ) c
x ( A B ) c
x ( A B ) c
x ( A B ) c
x ( A B ) c
x ( A B ) c )
Doc 5
0.3191
0.6470
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
A B = ( A C B C ) C
A ( B C ) = ( A B ) ( A C )
A ( B C ) = ( A B ) ( A C )
Doc 6
0.2881
0.2881
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Hit-or-miss_transform.html
A B = ( A C ) ( A c D )

Doc 7
0.2727
1.3670
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B = ( A B ) ( A B )
A B = ( A B ) ( A B ) ,
A B = ( A B ) ( B A ) ,
A B = A c B c
A ( B C ) = ( A B ) ( A C ) ,
A B .
A B .

Doc 8
0.2727
0.7879
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html
A B = ( A B ) ( B A )
A B = ( A B ) ( A B )
A B = A ( A B ) .
A B = A ( A B ) .

Doc 9
0.2727
0.2727
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Linear_logic.html
A B = ( A B ) & ( B A )

Doc 10
0.2727
0.2727
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Jaccard_index.html
A B = ( A B ) - ( A B )

Doc 11
0.2564
0.2564
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Set_(mathematics).html
A Δ B = ( A B ) ( B A ) .

Doc 12
0.2151
0.2151
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Functional_completeness.html
A B := ( A B ) B .

Doc 13
0.2128
0.5698
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Two-element_Boolean_algebra.html
A B = A ¯ + B ¯ ¯
A + B = A ¯ B ¯ ¯ .
A + ( B C ) = ( A + B ) ( A + C ) .
Doc 14
0.2128
0.2128
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Context-free_language.html
A B = A ¯ B ¯ ¯

Doc 15
0.2041
1.0471
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
( A B ) A = A ( A B )
A B = B A
= ( A A ) B
( A B ) B = A ( B B )
( A B ) C = A ( B C )
A B
A B

Doc 16
0.1942
0.1942
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/E7_(mathematics).html
A B = ( A B + B A ) / 2

Doc 17
0.1935
0.7939
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
B ( A B )
B ( A B )
A ( B ( A B ) )
A ( B ( A B ) )
( A B ) ( A B )

Doc 18
0.1935
0.3135
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
A B = 𝒩 .
A B

Doc 19
0.1905
0.1905
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Hadamard_product_(matrices).html
A ( B C ) = ( A B ) C ,

Doc 20
0.1887
0.6687
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
( A B )
A B
A B
A B
A B

Doc 21
0.1818
0.5040
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complement_(set_theory).html
( A B ) c = A c B c .
( A B ) c = A c B c .
( A c ) c = A .
Doc 22
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Monoidal_t-norm_logic.html
A B ( A B ) ( B A )

Doc 23
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html
A B ( A B ) ( B A )

Doc 24
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/BL_(logic).html
A B ( A B ) ( B A )

Doc 25
0.1786
0.1786
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Multivariate_mutual_information.html
A ~ = ( A ~ B ~ ) ( A ~ \ B ~ )

Doc 26
0.1687
0.1687
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Crossed_ladders_problem.html
(Eq. 1) A B = h ( A + B )

Doc 27
0.1649
0.1649
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Lamé_function.html
d 2 y d x 2 = ( A + B \weierp ( x ) ) y

Doc 28
0.1639
0.9124
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A ( B C ) = ( A B ) ( A C )
A ( B C ) = ( A B ) ( A C )
A B = A ( A B )
A ( A B ) = A
A ( A B ) = A
( A B ) C = A C B C
( A B ) C = A C B C

Doc 29
0.1600
0.1600
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Probability_axioms.html
P ( B ( A B ) )

Doc 30
0.1550
0.6009
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
A × ( B C ) = ( A × B ) ( A × C ) ,
A × ( B C ) = ( A × B ) ( A × C ) ,
A × ( B C ) = ( A × B ) ( A × C ) ,
( A × B ) c = ( A c × B c ) ( A c × B ) ( A × B c ) .

Doc 31
0.1538
0.1538
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/XOR_gate.html
A B ¯ + A ¯ B ( A + B )

Doc 32
0.1500
0.1500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Activity_selection_problem.html
B = ( A { k } ) { 1 }

Doc 33
0.1500
0.1500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Computron_tube.html
S = ( A * B ) + C + D

Doc 34
0.1481
0.1481
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Duality_(mathematics).html
( A c ) c = A

Doc 35
0.1446
0.2578
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
A B ¬ ( A B )
( A B )

Doc 36
0.1446
0.1446
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Spherical_trigonometry.html
2 S = ( A + B + C )

Doc 37
0.1412
0.1412
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Amagat's_law.html
B 1 , 2 = ( B 1 + B 2 ) / 2

Doc 38
0.1353
0.1353
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Adder_(electronics).html
C o u t = ( A B ) + ( C i n ( A B ) )

Doc 39
0.1333
0.1333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Geometric_calculus.html
𝒫 B ( A ) = ( A B - 1 ) B

Doc 40
0.1319
0.1319
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Reaction_rate.html
A + B | A B | P

Doc 41
0.1304
0.2529
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Dilation_(morphology).html
A B = b B A b .
( A B ) C = A ( B C )

Doc 42
0.1290
0.1290
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/State-space_representation.html
𝐱 ˙ ( t ) = ( A + B K ) 𝐱 ( t )

Doc 43
0.1263
0.2526
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
𝒫 B ( A ) = ( A B - 1 ) B
𝒫 B ( A ) = ( A B - 1 ) B

Doc 44
0.1224
0.1224
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Erosion_(morphology).html
( A B ) C = A ( B C )

Doc 45
0.1212
0.1212
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Q-Vandermonde_identity.html
( A + B ) m ( A + B ) n

Doc 46
0.1200
0.3600
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Direct_sum.html
A B
A B
A B
Doc 47
0.1200
0.2311
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logic_gate.html
A B
A B ¯

Doc 48
0.1200
0.1200
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Carry-lookahead_adder.html
A B

Doc 49
0.1200
0.1200
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_sum_of_modules.html
A B

Doc 50
0.1176
0.2353
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Homotopy_type_theory.html
( A = B ) ( A B )
( A = B ) ( A B )

Doc 51
0.1159
0.2319
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Combinational_logic.html
A + ( A B ) = A
A ( A + B ) = A

Doc 52
0.1149
0.1149
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Feynman_parametrization.html
u = ( z - B ) / ( A - B )

Doc 53
0.1132
0.5660
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
( A and B )
( A and B )
( A and B )
( A and B )
( A and B )

Doc 54
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Damping.html
x ( t ) = ( A + B t ) e - ω 0 t

Doc 55
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Comma_category.html
( A B )

Doc 56
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tautology_(logic).html
( A B )

Doc 57
0.1121
0.1121
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Pfaffian.html
A 1 A 2 = [ A 1 0 0 A 2 ] ,

Doc 58
0.1121
0.1121
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Generalized_method_of_moments.html
I - B = ( I - B ) ( I - B )

Doc 59
0.1111
0.2222
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Natural_deduction.html
A prop B prop ( A B ) prop F
A true B true ( A B ) true I

Doc 60
0.1111
0.1111
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Intuitionistic_logic.html
( A B ) *