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

Doc 1
1.0000
0.0000
4.0000
4.6901
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
0.0000
4.0000
1.8451
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
0.0000
4.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.8451
0.0000
2.0000
1.6901
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 5
0.8451
0.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Cayley–Dickson_construction.html
p q = ( q p )

Doc 6
0.8451
0.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Symbolic_method.html
2 Δ = ( a b ) 2

Doc 7
0.8451
-1.0000
3.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Splitting_of_prime_ideals_in_Galois_extensions.html
p B = ( P j ) e .

Doc 8
0.8451
-1.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Square_root_of_2.html
2 b 2 = ( 2 k ) 2

Doc 9
0.8451
-1.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Square_root_of_3.html
3 n 2 = ( 3 k ) 2

Doc 10
0.8451
-1.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Hermitian_adjoint.html
ker A * = ( im A )

Doc 11
0.8451
-1.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Available_energy_(particle_collision).html
( m t ) 2 c 4 = ( E t ) 2

Doc 12
0.8451
-2.0000
4.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Stein's_method.html
A i = B i = { i }

Doc 13
0.8451
-2.0000
4.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/E7_(mathematics).html
A B = ( A B + B A ) / 2

Doc 14
0.8451
-2.0000
2.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Duality_(mathematics).html
A α C = ( A α ) C

Doc 15
0.8451
-3.0000
4.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
A B = ( A B ) B ,

Doc 16
0.8451
-5.0000
4.0000
1.6901
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 17
0.8451
-5.0000
4.0000
1.4333
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 18
0.8451
-5.0000
4.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Linear_logic.html
A B = ( A B ) & ( B A )

Doc 19
0.8451
-5.0000
4.0000
0.8451
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Jaccard_index.html
A B = ( A B ) - ( A B )

Doc 20
0.7500
-1.0000
2.0000
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Forces_on_sails.html
A c o s ( ϕ ) n

Doc 21
0.7500
-3.0000
3.0000
2.2500
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 22
0.7500
-3.0000
3.0000
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/*-autonomous_category.html
A * B * ( B A ) *

Doc 23
0.6897
0.0000
3.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Dynamo_theory.html
B = ( ρ Ω / σ ) 1 / 2

Doc 24
0.6897
0.0000
3.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Morphological_skeleton.html
0 B = { o }

Doc 25
0.6897
0.0000
3.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Fanning_friction_factor.html
B = ( 37530 R e ) 16

Doc 26
0.6897
0.0000
2.0000
1.3793
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Kolmogorov_extension_theorem.html
Ω = ( n ) T
Ω = ( n ) T

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

Doc 28
0.6897
0.0000
2.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/L-theory.html
ϵ = ( - 1 ) k

Doc 29
0.6897
0.0000
2.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Euler_spiral.html
θ = ( a s ) 2

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

Doc 31
0.6897
0.0000
2.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Surgery_obstruction.html
ε = ( - 1 ) k

Doc 32
0.6897
0.0000
2.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Frequency_selective_surface.html
a = ( L C ) 2

Doc 33
0.6897
0.0000
2.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Nuclear_shell_model.html
p = ( - 1 ) l

Doc 34
0.6897
-1.0000
3.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Radiosity_(computer_graphics).html
B = ( I - ρ F ) - 1 E

Doc 35
0.6897
-4.0000
3.0000
0.6897
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Bernoulli_number.html
B n = ( - 1 ) n B n

Doc 36
0.5882
-3.0000
3.0000
2.9412
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 37
0.5882
-3.0000
3.0000
0.5882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cylinder_(geometry).html
A 2 + B 2 = R 2

Doc 38
0.5882
-4.0000
3.0000
0.5882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Hilbert_space.html
A = B 2 = B * B .

Doc 39
0.5882
-11.0000
3.0000
0.5882
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 40
0.5333
0.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Min-plus_matrix_multiplication.html
B = ( b i j )

Doc 41
0.5333
0.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Coding_theory_approaches_to_nucleic_acid_design.html
B = ( x b i )

Doc 42
0.5333
0.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Quasideterminant.html
B = ( b p q )

Doc 43
0.5333
0.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Multiplexer.html
B = ( X S )

Doc 44
0.5333
0.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Permanent.html
B = ( b i j )

Doc 45
0.5333
0.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Ceyuan_haijing.html
= ( r 1 ) 2

Doc 46
0.5333
0.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Cayley–Hamilton_theorem.html
A = ( a )

Doc 47
0.5333
0.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Graver_basis.html
A = ( 121 )

Doc 48
0.5333
0.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Moving_average.html
= ( 1 - α ) k

Doc 49
0.5333
-1.0000
3.0000
2.6667
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 50
0.5333
-1.0000
3.0000
1.0667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Braess'_paradox.html
A + B = 4000
A = B = 2000

Doc 51
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Numerical_digit.html
A + B = C

Doc 52
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Proper_convex_function.html
A B =

Doc 53
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Intersection_(set_theory).html
A B =

Doc 54
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Fuzzy_measure_theory.html
A B =

Doc 55
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Affirmative_conclusion_from_a_negative_premise.html
A B =

Doc 56
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Radius_of_curvature_(applications).html
A B = 0

Doc 57
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Partition_of_a_set.html
A B =

Doc 58
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Overcompleteness.html
A = B = 2

Doc 59
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Theoretical_motivation_for_general_relativity.html
A + B = 1

Doc 60
0.5333
-1.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Collectively_exhaustive_events.html
A B = S

Doc 61
0.5333
-1.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Root_mean_square.html
= ( I RMS ) 2 R

Doc 62
0.5333
-2.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Galois_theory.html
A + B = 4 ,

Doc 63
0.5333
-2.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
A B = 𝒩 .

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

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

Doc 66
0.5333
-3.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Ising_model.html
N ( L ) = ( 2 d ) L

Doc 67
0.5333
-4.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Quantum_state.html
Tr ( ρ 2 ) = ( Tr ρ ) 2

Doc 68
0.5333
-4.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Bias_of_an_estimator.html
δ ( x ) = ( - 1 ) x .

Doc 69
0.5333
-4.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Rate_of_return.html
4.06 % = ( 1.01 ) 4 - 1

Doc 70
0.5333
-5.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Dirac_equation.html
A 2 = B 2 = = 1.

Doc 71
0.5333
-5.0000
3.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Tsirelson's_bound.html
A i 2 = B j 2 = 𝕀

Doc 72
0.5333
-5.0000
2.0000
1.0667
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.5333
-6.0000
2.0000
0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Stirling_polynomials.html
S k ( 0 ) = ( - 1 ) k B k

Doc 74
0.4211
-1.0000
2.0000
0.8421
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html
N B V ( I )
N B V ( I )

Doc 75
0.4211
-1.0000
2.0000
0.4211
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Bounded_variation.html
S B V ( Ω )

Doc 76
0.4211
-2.0000
2.0000
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 77
0.4211
-2.0000
2.0000
0.4211
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Matrix_norm.html
B B = A * A

Doc 78
0.3750
0.0000
1.0000
1.1250
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Intuitionistic_logic.html
( A B ) *
( A B ) *
( A B ) *
Doc 79
0.3750
-1.0000
2.0000
1.8750
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 80
0.3750
-1.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
( A B )

Doc 81
0.3750
-1.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/LC_circuit.html
A = B *

Doc 82
0.3750
-1.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
( A B )

Doc 83
0.3750
-1.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tautology_(logic).html
( A B )

Doc 84
0.3750
-1.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Comma_category.html
( A B )

Doc 85
0.3750
-2.0000
1.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Sum-free_sequence.html
A ( x ) = o ( x )

Doc 86
0.3750
-2.0000
1.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Convergent_matrix.html
A x = b ( 2 )

Doc 87
0.3750
-3.0000
2.0000
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
B ( A B )
B ( A B )

Doc 88
0.3750
-3.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
τ ( 1 ) = ( 43 )

Doc 89
0.3750
-5.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Crossed_ladders_problem.html
(Eq. 1) A B = h ( A + B )

Doc 90
0.3750
-5.0000
2.0000
0.3750
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Scattering_parameters.html
( S ) H ( S ) = ( I )