Returned 56 matches (100 formulae, 117 docs)
    Lookup 91.915 ms, Re-ranking 0.035 ms
    Found 184845 tuple postings, 84551 formulae, 14655 documents
[ formulas ] [ documents ] [ documents-by-formula ]

x , y A
Doc 3
0.3750, 0.5958
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html
x , y G
Doc 2
0.3750, 0.6417
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html
Doc 4
0.3750, 0.5928
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html
x , y N
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
x , y A [ x y ¬ z X [ z x z y ] ] .
Doc 5
0.3621, 0.3621
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Strong_antichain.html
x , y S ,
Doc 6
0.3488, 0.6977
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html
x , y V ,
Doc 6
0.3488, 0.6977
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html
x , y U , x y
Doc 7
0.3273, 0.9818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html
Doc 7
0.3273, 0.9818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html
Doc 7
0.3273, 0.9818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html
x , y : ¬ ( x < y y < x )
Doc 8
0.3205, 0.5942
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html
x , y A x y x y
Doc 9
0.2917, 0.2917
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html
x , y I : x - y I
Doc 10
0.2748, 0.2748
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html
x , y : ¬ ( x < y y < x ) x = y
Doc 8
0.3205, 0.5942
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html
x , y 𝐐
Doc 39
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Construction_of_the_real_numbers.html
x , y A
Doc 21
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html
Doc 22
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html
Doc 35
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html
Doc 45
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html
x , y B
Doc 24
0.2667, 0.5241
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html
x , y C
Doc 19
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Causal_sets.html
Doc 19
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Causal_sets.html
x , y E
Doc 13
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html
x , y G
Doc 2
0.3750, 0.6417
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
Doc 14
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Compact_quantum_group.html
Doc 14
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Compact_quantum_group.html
x , y I
Doc 38
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Divided_power_structure.html
x , y K
Doc 31
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Discrete_valuation.html
Doc 63
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Indefinite_inner_product_space.html
x , y M
Doc 12
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Causal_fermion_system.html
Doc 12
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Causal_fermion_system.html
Doc 20
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Metric_space.html
Doc 20
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Metric_space.html
Doc 28
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Bogoliubov_causality_condition.html
Doc 29
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Unitary_group.html
Doc 30
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Spacetime_topology.html
Doc 49
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Affine_monoid.html
Doc 61
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Commutative_non-associative_magmas.html
Doc 65
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/Causality_conditions.html
x , y R
Doc 66
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ring_(mathematics).html
x , y S
Doc 13
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html
Doc 21
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html
Doc 56
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasiconvex_function.html
x , y T
Doc 54
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Jensen's_inequality.html
x , y V
Doc 48
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Packing_in_a_hypergraph.html
Doc 52
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Yang–Baxter_equation.html
Doc 64
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Antilinear_map.html
x , y X
Doc 13
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html
Doc 15
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html
Doc 15
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html
Doc 16
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html
Doc 16
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html
Doc 22
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html
Doc 23
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html
Doc 23
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html
Doc 25
0.2667, 0.5167
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html
Doc 27
0.2667, 0.4817
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html
Doc 32
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html
Doc 36
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html
Doc 40
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html
Doc 42
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Nakamura_number.html
Doc 43
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Boehmians.html
Doc 47
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html
Doc 50
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html
Doc 53
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html
Doc 55
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html
Doc 57
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Bitopological_space.html
Doc 58
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Prewellordering.html
Doc 59
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Equivalence_of_metrics.html
x , y Ω
Doc 44
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Talagrand's_concentration_inequality.html
Doc 46
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Kolmogorov_equations_(Markov_jump_process).html
x , y
Doc 60
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tutte_polynomial.html
x , y
Doc 37
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Index_set_(recursion_theory).html
Doc 51
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Pairing_function.html
x , y
Doc 33
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html
x , y
Doc 18
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cauchy_product.html
Doc 18
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cauchy_product.html
Doc 26
0.2667, 0.5167
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Isomorphism.html
Doc 34
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complex_analysis.html
Doc 62
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/István_Fenyő.html
x , y
Doc 17
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Models_of_DNA_evolution.html
Doc 17
0.2667, 0.5333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Models_of_DNA_evolution.html
x , y
Doc 12
0.2667, 0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Causal_fermion_system.html
x , y 𝔤
Doc 41
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Adjoint_representation.html
x , y , z N
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
Doc 1
0.3750, 2.6734
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html
x , y B , x y
Doc 24
0.2667, 0.5241
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html
x , y , z ( x F y x F z y = z )
Doc 67
0.2569, 0.7336
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html
x + y x + y x , y V
Doc 68
0.2537, 0.2537
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html
x j , y j H
Doc 69
0.2532, 0.2532
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Permanent.html
x , y A 1
Doc 70
0.2500, 0.8964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html
x , y A 2
Doc 70
0.2500, 0.8964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html
x , y E i
Doc 79
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Markov_partition.html
x , y S X
Doc 25
0.2667, 0.5167
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html
x , y n
Doc 74
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cayley–Purser_algorithm.html
x , y 𝔽 p
Doc 73
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Stufe_(algebra).html
x , y A
Doc 82
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html
x , y R d
Doc 80
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Markov_switching_multifractal.html
x , y Z d
Doc 77
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Voter_model.html
x , y Σ *
Doc 75
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Trace_monoid.html
x , y +
Doc 26
0.2667, 0.5167
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Isomorphism.html
x , y d
Doc 81
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Schur-convex_function.html
x , y n
Doc 76
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/John's_equation.html
Doc 78
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Inequality_(mathematics).html
x , y 0
Doc 71
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html
x , y 𝔮
Doc 72
0.2500, 0.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Primary_ideal.html
x , y [ x y [ x R y y R x ] ]
Doc 83
0.2488, 0.2488
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html
x , y , z ( x R y y R z x R z )
Doc 67
0.2569, 0.7336
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html
x = y and ( L z ) [ x := y ]
Doc 84
0.2439, 0.4381
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html
x p , y p G
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
x , y C d ( x , y )
Doc 85
0.2340, 0.7021
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html
Doc 85
0.2340, 0.7021
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html
Doc 85
0.2340, 0.7021
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html
f , g F [ x ]
Doc 86
0.2326, 0.4651
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quadratic_reciprocity.html
Doc 86
0.2326, 0.4651
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quadratic_reciprocity.html
u , v K [ x ]
Doc 89
0.2326, 0.2326
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Imaginary_hyperelliptic_curve.html
x , y V ( G )
Doc 88
0.2326, 0.2326
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Graph_amalgamation.html
x , y W ( λ )
Doc 87
0.2326, 0.4651
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Cellular_algebra.html
Doc 87
0.2326, 0.4651
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Cellular_algebra.html
x , y X Y
Doc 90
0.2326, 0.2326
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Axiom_of_power_set.html
x p 2 , y p G
Doc 11
0.2667, 1.5373
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html
x , y H : y , x
Doc 91
0.2290, 0.2290
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html
x , y ( x R y y R x )
Doc 67
0.2569, 0.7336
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html
u S v x , y M ( x u y S x v y S ) .
Doc 92
0.2265, 0.2265
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html
x y S 2
Doc 93
0.2250, 0.2250
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Hopf_invariant.html
κ ( x , y ) := Tr ( ad x ad y ) x , y 𝔤
Doc 3
0.3750, 0.5958
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html
x , y G , x * y
Doc 4
0.3750, 0.5928
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html
x , y [ 0 , 1 ]
Doc 94
0.2174, 0.2174
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Example_of_a_game_without_a_value.html
x , y [ 0 , )
Doc 95
0.2174, 0.2174
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Wonderland_model.html
x , y f R e p
Doc 27
0.2667, 0.4817
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html
x q i - x 𝐅 q [ x ]
Doc 96
0.2128, 0.2128
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Factorization_of_polynomials_over_finite_fields.html
x , y { 0 , 1 } k
Doc 97
0.2062, 0.2062
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Hadamard_code.html
x , y ( N T ) *
Doc 98
0.2041, 0.4082
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Controlled_grammar.html
Doc 98
0.2041, 0.4082
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Controlled_grammar.html
x , y A 1 A 2
Doc 70
0.2500, 0.8964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html
x z M [ x := y ] [ z ] = M [ z ]
Doc 99
0.2027, 0.2027
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html
x , y A : x y x y
Doc 100
0.2025, 0.2025
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html
x , y [ - 1 , 1 ]
Doc 101
0.2020, 0.2020
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Interval_arithmetic.html
x y . R ( x , y )
Doc 102
0.2018, 0.2018
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Skolem_normal_form.html
x , y S ( a , b )
Doc 103
0.2000, 0.2000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Construction_Irreducible_Markov_Chain_in_Ising_Model.html
x y [ R x y R y x ]
Doc 104
0.1985, 0.1985
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html
x y [ x y z y C ( x ; y z ) ] .
Doc 105
0.1982, 0.1982
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html
x y = round ( x y )
Doc 110
0.1980, 0.1980
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Machine_epsilon.html
x y = ¬ ( x y )
Doc 107
0.1980, 0.1980
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html
{ ( x , y ) | x , y }
Doc 106
0.1980, 0.7921
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html
Doc 106
0.1980, 0.7921
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html
Doc 106
0.1980, 0.7921
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html
Doc 106
0.1980, 0.7921
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html
b 𝔹 , x , y
Doc 109
0.1980, 0.1980
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Satisfiability_modulo_theories.html
g G , x , y M
Doc 108
0.1980, 0.1980
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Lie_groupoid.html
x y z ( x z y z ) .
Doc 111
0.1963, 0.3926
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html
x y z [ z x z y ] .
Doc 111
0.1963, 0.3926
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html
( λ x . z ) y = z [ x := y ]
Doc 84
0.2439, 0.4381
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html
( λ x . E ) y E [ x / y ]
Doc 112
0.1942, 0.3883
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Director_string.html
( λ x . E ) y E [ x := y ]
Doc 112
0.1942, 0.3883
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Director_string.html
x , y i I A i
Doc 70
0.2500, 0.8964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html
x , y A , x y f ( x ) f ( y ) .
Doc 113
0.1913, 0.1913
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html
M = ( M ( x , y ) ) x , y S
Doc 114
0.1880, 0.1880
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Mean_field_particle_methods.html
k ( x , y ) 0 x , y , k
Doc 115
0.1864, 0.1864
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Nonlinear_dimensionality_reduction.html
x , y , z A
Doc 116
0.1860, 0.5581
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html
Doc 116
0.1860, 0.5581
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html
Doc 116
0.1860, 0.5581
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html
x y ψ ( x )
Doc 117
0.1860, 0.1860
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html