Returned 60 matches (100 formulae, 90 docs)
    Lookup 76.388 ms, Re-ranking 212.040 ms
    Found 539810 tuple postings, 108618 formulae, 19020 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
4.4860
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

Doc 2
1.0000
1.6819
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 ,

Doc 3
1.0000
1.0000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
A B = ( A C B C ) C

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

Doc 5
0.7831
0.7831
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Splitting_of_prime_ideals_in_Galois_extensions.html
p B = ( P j ) e .

Doc 6
0.7805
0.7805
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Stein's_method.html
A i = B i = { i }

Doc 7
0.7053
1.4107
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Moore–Penrose_pseudoinverse.html
A 0 A = ( A 0 A ) *
A 0 A = ( A 0 A ) *

Doc 8
0.7002
0.7002
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Cayley–Dickson_construction.html
p q = ( q p )

Doc 9
0.7002
0.7002
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Symbolic_method.html
2 Δ = ( a b ) 2

Doc 10
0.6989
2.0968
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
Doc 11
0.6989
0.6989
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/*-autonomous_category.html
A * B * ( B A ) *

Doc 12
0.6875
0.6875
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Morphological_skeleton.html
0 B = { o }

Doc 13
0.6854
0.6854
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Available_energy_(particle_collision).html
( m t ) 2 c 4 = ( E t ) 2

Doc 14
0.6819
0.6819
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
A B = ( A B ) B ,

Doc 15
0.6725
0.6725
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Square_root_of_2.html
2 b 2 = ( 2 k ) 2

Doc 16
0.6725
0.6725
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Square_root_of_3.html
3 n 2 = ( 3 k ) 2

Doc 17
0.6725
0.6725
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Hermitian_adjoint.html
ker A * = ( im A )

Doc 18
0.6637
0.6637
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Duality_(mathematics).html
A α C = ( A α ) C

Doc 19
0.6452
0.6452
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Dynamo_theory.html
B = ( ρ Ω / σ ) 1 / 2

Doc 20
0.6452
0.6452
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Fanning_friction_factor.html
B = ( 37530 R e ) 16

Doc 21
0.6243
0.6243
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Radiosity_(computer_graphics).html
B = ( I - ρ F ) - 1 E

Doc 22
0.5952
0.5952
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Forces_on_sails.html
A c o s ( ϕ ) n

Doc 23
0.5683
1.1366
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 )

Doc 24
0.5683
0.9683
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B = ( A B ) ( A B )
A B = A c B c

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

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

Doc 27
0.5625
0.5625
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Multiplicative_group_of_integers_modulo_n.html
n = ( n )

Doc 28
0.5366
2.3914
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Beal's_conjecture.html
A n + B n = C n
A x + B y = C z
A x + B y = C z ,
A 1 x + B 1 y = C 1 z
A n x + B n y = C n z ;

Doc 29
0.5366
0.5366
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cylinder_(geometry).html
A 2 + B 2 = R 2

Doc 30
0.5246
0.5246
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Attribute_Hierarchy_Method.html
R = ( A + I ) n

Doc 31
0.5205
1.0410
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Kolmogorov_extension_theorem.html
Ω = ( n ) T
Ω = ( n ) T

Doc 32
0.5205
0.5205
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Nuclear_shell_model.html
p = ( - 1 ) l

Doc 33
0.5205
0.5205
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/L-theory.html
ϵ = ( - 1 ) k

Doc 34
0.5205
0.5205
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Euler_spiral.html
θ = ( a s ) 2

Doc 35
0.5205
0.5205
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Surgery_obstruction.html
ε = ( - 1 ) k

Doc 36
0.5205
0.5205
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Frequency_selective_surface.html
a = ( L C ) 2

Doc 37
0.5054
0.5054
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Bernoulli_number.html
B n = ( - 1 ) n B n

Doc 38
0.5000
0.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Min-plus_matrix_multiplication.html
B = ( b i j )

Doc 39
0.5000
0.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Coding_theory_approaches_to_nucleic_acid_design.html
B = ( x b i )

Doc 40
0.5000
0.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Multiplexer.html
B = ( X S )

Doc 41
0.5000
0.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Quasideterminant.html
B = ( b p q )

Doc 42
0.5000
0.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Permanent.html
B = ( b i j )

Doc 43
0.4444
0.4444
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Ceyuan_haijing.html
= ( r 1 ) 2

Doc 44
0.4444
0.4444
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Moving_average.html
= ( 1 - α ) k

Doc 45
0.4375
2.1875
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A B =
A B = A
A B =
A B = B
A B = U

Doc 46
0.4375
0.8750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Braess'_paradox.html
A + B = 4000
A = B = 2000

Doc 47
0.4375
0.8750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html
N B V ( I )
N B V ( I )

Doc 48
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Bounded_variation.html
S B V ( Ω )

Doc 49
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Numerical_digit.html
A + B = C

Doc 50
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Proper_convex_function.html
A B =

Doc 51
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Intersection_(set_theory).html
A B =

Doc 52
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Fuzzy_measure_theory.html
A B =

Doc 53
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Affirmative_conclusion_from_a_negative_premise.html
A B =

Doc 54
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Radius_of_curvature_(applications).html
A B = 0

Doc 55
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Partition_of_a_set.html
A B =

Doc 56
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Overcompleteness.html
A = B = 2

Doc 57
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Theoretical_motivation_for_general_relativity.html
A + B = 1

Doc 58
0.4375
0.4375
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Collectively_exhaustive_events.html
A B = S

Doc 59
0.4314
0.4314
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Hilbert_space.html
A = B 2 = B * B .

Doc 60
0.4235
0.4235
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Root_mean_square.html
= ( I RMS ) 2 R

Doc 61
0.4211
0.8421
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Spectral_sequence.html
F 1 B n = A n
F 0 B n = B n

Doc 62
0.3929
0.3929
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Cayley–Hamilton_theorem.html
A = ( a )

Doc 63
0.3929
0.3929
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Graver_basis.html
A = ( 121 )

Doc 64
0.3889
0.3889
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Early_effect.html
A 1 = B 1 = 0

Doc 65
0.3889
0.3889
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Marcinkiewicz–Zygmund_inequality.html
A 2 = B 2 = 1

Doc 66
0.3889
0.3889
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Matrix_norm.html
B B = A * A

Doc 67
0.3784
0.3784
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Galois_theory.html
A + B = 4 ,

Doc 68
0.3784
0.3784
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
A B = 𝒩 .

Doc 69
0.3500
0.3500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Tsirelson's_bound.html
A i 2 = B j 2 = 𝕀

Doc 70
0.3364
0.3364
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Ising_model.html
N ( L ) = ( 2 d ) L

Doc 71
0.3186
0.3186
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Quantum_state.html
Tr ( ρ 2 ) = ( Tr ρ ) 2

Doc 72
0.3130
0.6261
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Chebyshev_polynomials.html
T n ( - 1 ) = ( - 1 ) n
T n ( - 1 ) = ( - 1 ) n

Doc 73
0.3130
0.3130
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Bias_of_an_estimator.html
δ ( x ) = ( - 1 ) x .

Doc 74
0.3056
0.3056
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 75
0.2983
0.5966
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
B ( A B )
B ( A B )

Doc 76
0.2979
0.2979
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Dirac_equation.html
A 2 = B 2 = = 1.

Doc 77
0.2857
1.4286
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 78
0.2857
0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
( A B )

Doc 79
0.2857
0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/LC_circuit.html
A = B *

Doc 80
0.2857
0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
( A B )

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

Doc 82
0.2857
0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Comma_category.html
( A B )

Doc 83
0.2835
0.2835
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Stirling_polynomials.html
S k ( 0 ) = ( - 1 ) k B k

Doc 84
0.2759
0.8276
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Intuitionistic_logic.html
( A B ) *
( A B ) *
( A B ) *
Doc 85
0.2667
0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Rate_of_return.html
4.06 % = ( 1.01 ) 4 - 1

Doc 86
0.2353
0.2353
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
τ ( 1 ) = ( 43 )

Doc 87
0.2222
0.2222
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Scattering_parameters.html
( S ) H ( S ) = ( I )

Doc 88
0.2128
0.2128
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Sum-free_sequence.html
A ( x ) = o ( x )

Doc 89
0.2018
0.2018
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Convergent_matrix.html
A x = b ( 2 )

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