Returned 92 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 442.511 ms
Found 36561 tuple postings, 24343 formulae, 7367 documents
Doc 1 |
1.0000 0.0000 25.0000 1.0000
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Strong_antichain.html |
|
Doc 2 |
0.3793 -13.0000 8.0000 0.3793
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html |
|
Doc 3 |
0.3052 -6.0000 7.0000 0.3052
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html |
|
Doc 4 |
0.2807 -11.0000 6.0000 0.2807
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html |
|
Doc 5 |
0.2524 -6.0000 6.0000 0.6586
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html |
|
Doc 6 |
0.2524 -12.0000 5.0000 0.2524
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/General_frame.html |
|
Doc 7 |
0.2389 -9.0000 5.0000 0.2389
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Method_of_analytic_tableaux.html |
|
Doc 8 |
0.2230 0.0000 6.0000 0.6691
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html |
|
Doc 9 |
0.2230 0.0000 5.0000 1.9831
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
Doc 10 |
0.2230 0.0000 5.0000 0.4049
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html |
|
Doc 11 |
0.2230 0.0000 5.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html |
|
Doc 12 |
0.2230 -1.0000 5.0000 0.4461
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html |
|
Doc 13 |
0.2230 -4.0000 5.0000 0.8922
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html |
|
Doc 14 |
0.2230 -6.0000 5.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html |
|
Doc 15 |
0.2230 -6.0000 5.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html |
|
Doc 16 |
0.2230 -9.0000 6.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html |
|
Doc 17 |
0.2230 -10.0000 5.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html |
|
Doc 18 |
0.2230 -12.0000 5.0000 0.5999
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Well-quasi-ordering.html |
|
Doc 19 |
0.2230 -13.0000 6.0000 0.4461
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html |
|
Doc 20 |
0.2230 -13.0000 5.0000 0.6279
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Heyting_algebra.html |
|
Doc 21 |
0.2230 -15.0000 6.0000 0.2230
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html |
|
Doc 22 |
0.2230 -18.0000 5.0000 0.5867
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html |
|
Doc 23 |
0.2192 -10.0000 7.0000 0.8140
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html |
|
Doc 24 |
0.2192 -22.0000 4.0000 0.3368
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Ackermann_set_theory.html |
|
Doc 25 |
0.2090 -19.0000 5.0000 0.2090
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Demonic_composition.html |
|
Doc 26 |
0.1967 -19.0000 3.0000 0.3785
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Alexandrov_topology.html |
|
Doc 27 |
0.1818 0.0000 5.0000 0.3636
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html |
|
Doc 28 |
0.1818 0.0000 5.0000 0.2914
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html |
|
Doc 29 |
0.1818 0.0000 5.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html |
|
Doc 30 |
0.1818 0.0000 5.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html |
|
Doc 31 |
0.1818 0.0000 4.0000 0.3636
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html |
|
Doc 32 |
0.1818 0.0000 4.0000 0.3636
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html |
|
Doc 33 |
0.1818 0.0000 4.0000 0.3357
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Prewellordering.html |
|
Doc 34 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html |
|
Doc 35 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html |
|
Doc 36 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Bitopological_space.html |
|
Doc 37 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Equivalence_of_metrics.html |
|
Doc 38 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html |
|
Doc 39 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html |
|
Doc 40 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html |
|
Doc 41 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html |
|
Doc 42 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html |
|
Doc 43 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Nakamura_number.html |
|
Doc 44 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Boehmians.html |
|
Doc 45 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html |
|
Doc 46 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html |
|
Doc 47 |
0.1818 0.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html |
|
Doc 48 |
0.1818 -1.0000 5.0000 0.5455
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html |
|
Doc 49 |
0.1818 -1.0000 5.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html |
|
Doc 50 |
0.1818 -2.0000 4.0000 0.4813
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Program_synthesis.html |
|
Doc 51 |
0.1818 -4.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html |
|
Doc 52 |
0.1818 -7.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Graph_algebra.html |
|
Doc 53 |
0.1818 -8.0000 5.0000 0.5455
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Arithmetic_combinatorics.html |
|
Doc 54 |
0.1818 -12.0000 5.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html |
|
Doc 55 |
0.1818 -12.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Johnson_bound.html |
|
Doc 56 |
0.1818 -12.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html |
|
Doc 57 |
0.1818 -13.0000 4.0000 0.1818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Singleton_bound.html |
|
Doc 58 |
0.1798 -10.0000 5.0000 0.1798
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html |
|
Doc 59 |
0.1728 -8.0000 6.0000 0.9767
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html |
|
Doc 60 |
0.1728 -8.0000 4.0000 0.4250
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Mereology.html |
|
Doc 61 |
0.1644 -9.0000 5.0000 0.1644
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html |
|
Doc 62 |
0.1644 -13.0000 1.0000 0.1644
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html |
|
Doc 63 |
0.1644 -20.0000 1.0000 0.2740
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Ancestral_relation.html |
|
Doc 64 |
0.1538 -4.0000 5.0000 0.1538
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Valuation_ring.html |
|
Doc 65 |
0.1538 -15.0000 5.0000 0.1538
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Apartness_relation.html |
|
Doc 66 |
0.1538 -15.0000 2.0000 0.3952
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/General_set_theory.html |
|
Doc 67 |
0.1404 -9.0000 4.0000 0.1404
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Max-flow_min-cut_theorem.html |
|
Doc 68 |
0.1237 -3.0000 4.0000 0.1237
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html |
|
Doc 69 |
0.1237 -7.0000 5.0000 0.1237
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Skew-symmetric_matrix.html |
|
Doc 70 |
0.1237 -13.0000 3.0000 0.1237
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Dense_order.html |
|
Doc 71 |
0.1237 -15.0000 3.0000 0.1237
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Axiom_of_adjunction.html |
|
Doc 72 |
0.1176 -4.0000 3.0000 0.1176
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html |
|
Doc 73 |
0.1176 -6.0000 4.0000 0.4706
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Whitehead's_point-free_geometry.html |
|
Doc 74 |
0.1176 -9.0000 3.0000 0.1176
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Single_crossing_condition.html |
|
Doc 75 |
0.1096 -3.0000 4.0000 0.1096
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html |
|
Doc 76 |
0.1096 -3.0000 4.0000 0.1096
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html |
|
Doc 77 |
0.1096 -6.0000 2.0000 0.1096
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasi-set_theory.html |
|
Doc 78 |
0.1096 -10.0000 3.0000 0.2079
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html |
|
Doc 79 |
0.1096 -15.0000 2.0000 0.2192
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/First-order_logic.html |
|