Returned 55 matches
(100 formulae, 117 docs)
Lookup 91.915 ms, Re-ranking 292.558 ms
Found 184845 tuple postings, 84551 formulae, 14655 documents
Doc 1 |
0.9875 0.9875
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Strong_antichain.html |
|
Doc 2 |
0.5020 1.2689
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html |
|
Doc 3 |
0.4944 0.4944
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html |
|
Doc 4 |
0.4912 0.4912
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html |
|
Doc 5 |
0.4852 0.4852
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html |
|
Doc 6 |
0.4640 0.8601
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html |
|
Doc 7 |
0.3886 0.3886
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html |
|
Doc 8 |
0.3855 2.7763
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
Doc 9 |
0.3855 1.1566
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html |
|
Doc 10 |
0.3855 0.7711
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html |
|
Doc 11 |
0.3855 0.6676
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html |
|
Doc 12 |
0.3855 0.6676
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html |
|
Doc 13 |
0.3855 0.5894
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html |
|
Doc 14 |
0.3855 0.3855
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html |
|
Doc 15 |
0.3855 0.3855
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html |
|
Doc 16 |
0.3181 0.3181
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html |
|
Doc 17 |
0.2993 0.2993
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html |
|
Doc 18 |
0.2962 0.5037
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html |
|
Doc 19 |
0.2821 1.6685
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html |
|
Doc 20 |
0.2821 1.1282
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html |
|
Doc 21 |
0.2821 0.8462
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Causal_fermion_system.html |
|
Doc 22 |
0.2821 0.8462
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html |
|
Doc 23 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Controlled_grammar.html |
|
Doc 24 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html |
|
Doc 25 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cauchy_product.html |
|
Doc 26 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html |
|
Doc 27 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html |
|
Doc 28 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Models_of_DNA_evolution.html |
|
Doc 29 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Compact_quantum_group.html |
|
Doc 30 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html |
|
Doc 31 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html |
|
Doc 32 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Causal_sets.html |
|
Doc 33 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Metric_space.html |
|
Doc 34 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html |
|
Doc 35 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Isomorphism.html |
|
Doc 36 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html |
|
Doc 37 |
0.2821 0.5641
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html |
|
Doc 38 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Bogoliubov_causality_condition.html |
|
Doc 39 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Unitary_group.html |
|
Doc 40 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Spacetime_topology.html |
|
Doc 41 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Primary_ideal.html |
|
Doc 42 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complex_analysis.html |
|
Doc 43 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html |
|
Doc 44 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Stufe_(algebra).html |
|
Doc 45 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html |
|
Doc 46 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Discrete_valuation.html |
|
Doc 47 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Index_set_(recursion_theory).html |
|
Doc 48 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Divided_power_structure.html |
|
Doc 49 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Construction_of_the_real_numbers.html |
|
Doc 50 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Example_of_a_game_without_a_value.html |
|
Doc 51 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Adjoint_representation.html |
|
Doc 52 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Markov_partition.html |
|
Doc 53 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Nakamura_number.html |
|
Doc 54 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Indefinite_inner_product_space.html |
|
Doc 55 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html |
|
Doc 56 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Interval_arithmetic.html |
|
Doc 57 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Axiom_of_power_set.html |
|
Doc 58 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Kolmogorov_equations_(Markov_jump_process).html |
|
Doc 59 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html |
|
Doc 60 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cayley–Purser_algorithm.html |
|
Doc 61 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Trace_monoid.html |
|
Doc 62 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Packing_in_a_hypergraph.html |
|
Doc 63 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Affine_monoid.html |
|
Doc 64 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html |
|
Doc 65 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Pairing_function.html |
|
Doc 66 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Yang–Baxter_equation.html |
|
Doc 67 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html |
|
Doc 68 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Jensen's_inequality.html |
|
Doc 69 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html |
|
Doc 70 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html |
|
Doc 71 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/John's_equation.html |
|
Doc 72 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Voter_model.html |
|
Doc 73 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Bitopological_space.html |
|
Doc 74 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Inequality_(mathematics).html |
|
Doc 75 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html |
|
Doc 76 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Prewellordering.html |
|
Doc 77 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Equivalence_of_metrics.html |
|
Doc 78 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tutte_polynomial.html |
|
Doc 79 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Talagrand's_concentration_inequality.html |
|
Doc 80 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Schur-convex_function.html |
|
Doc 81 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Commutative_non-associative_magmas.html |
|
Doc 82 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/István_Fenyő.html |
|
Doc 83 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Boehmians.html |
|
Doc 84 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Antilinear_map.html |
|
Doc 85 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Markov_switching_multifractal.html |
|
Doc 86 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Wonderland_model.html |
|
Doc 87 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasiconvex_function.html |
|
Doc 88 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/Causality_conditions.html |
|
Doc 89 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Hadamard_code.html |
|
Doc 90 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ring_(mathematics).html |
|
Doc 91 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html |
|
Doc 92 |
0.2821 0.2821
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html |
|
Doc 93 |
0.2683 0.2683
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Permanent.html |
|
Doc 94 |
0.2651 0.2651
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html |
|
Doc 95 |
0.2650 0.2650
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html |
|
Doc 96 |
0.2631 0.5262
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html |
|
Doc 97 |
0.2472 0.4944
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quadratic_reciprocity.html |
|
Doc 98 |
0.2472 0.4944
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Cellular_algebra.html |
|
Doc 99 |
0.2472 0.2472
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Graph_amalgamation.html |
|
Doc 100 |
0.2472 0.2472
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Imaginary_hyperelliptic_curve.html |
|
Doc 101 |
0.2429 0.2429
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Factorization_of_polynomials_over_finite_fields.html |
|
Doc 102 |
0.2336 0.2336
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html |
|
Doc 103 |
0.2268 0.6804
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html |
|
Doc 104 |
0.2136 0.2136
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Construction_Irreducible_Markov_Chain_in_Ising_Model.html |
|
Doc 105 |
0.2115 0.8462
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html |
|
Doc 106 |
0.2115 0.2115
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html |
|
Doc 107 |
0.2115 0.2115
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Lie_groupoid.html |
|
Doc 108 |
0.2115 0.2115
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Satisfiability_modulo_theories.html |
|
Doc 109 |
0.2115 0.2115
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Machine_epsilon.html |
|
Doc 110 |
0.2075 0.4151
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Director_string.html |
|
Doc 111 |
0.1964 0.1964
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Skolem_normal_form.html |
|
Doc 112 |
0.1857 0.1857
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html |
|
Doc 113 |
0.1833 0.1833
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Mean_field_particle_methods.html |
|
Doc 114 |
0.1827 0.5481
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html |
|
Doc 115 |
0.1818 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Nonlinear_dimensionality_reduction.html |
|
Doc 116 |
0.1814 0.1814
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Hopf_invariant.html |
|
Doc 117 |
0.1728 0.1728
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html |
|