Returned 93 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 0.141 ms
Found 36561 tuple postings, 24343 formulae, 7367 documents
Doc 1 |
1.0000 1.0000
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Strong_antichain.html |
|
Doc 2 |
0.1417 0.5501
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html |
|
Doc 3 |
0.1239 0.4010
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html |
|
Doc 4 |
0.1160 0.1160
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html |
|
Doc 5 |
0.1007 0.2098
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html |
|
Doc 6 |
0.0987 0.0987
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html |
|
Doc 7 |
0.0984 0.0984
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html |
|
Doc 8 |
0.0963 0.2374
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html |
|
Doc 9 |
0.0893 0.1620
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html |
|
Doc 10 |
0.0835 0.2114
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/General_set_theory.html |
|
Doc 11 |
0.0826 0.0826
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html |
|
Doc 12 |
0.0811 0.0811
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html |
|
Doc 13 |
0.0798 0.0798
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html |
|
Doc 14 |
0.0793 0.2515
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Whitehead's_point-free_geometry.html |
|
Doc 15 |
0.0793 0.2909
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html |
|
Doc 16 |
0.0749 0.5849
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
Doc 17 |
0.0696 0.0696
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html |
|
Doc 18 |
0.0688 0.1680
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Well-quasi-ordering.html |
|
Doc 19 |
0.0686 0.1981
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Arithmetic_combinatorics.html |
|
Doc 20 |
0.0683 0.1275
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html |
|
Doc 21 |
0.0683 0.1160
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html |
|
Doc 22 |
0.0683 0.0683
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html |
|
Doc 23 |
0.0683 0.0683
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html |
|
Doc 24 |
0.0682 0.0682
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html |
|
Doc 25 |
0.0681 0.1661
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Mereology.html |
|
Doc 26 |
0.0671 0.1975
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html |
|
Doc 27 |
0.0671 0.1150
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html |
|
Doc 28 |
0.0671 0.0671
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html |
|
Doc 29 |
0.0671 0.0671
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html |
|
Doc 30 |
0.0658 0.1316
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html |
|
Doc 31 |
0.0630 0.0630
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html |
|
Doc 32 |
0.0625 0.0625
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html |
|
Doc 33 |
0.0610 0.1175
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/First-order_logic.html |
|
Doc 34 |
0.0592 0.0592
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html |
|
Doc 35 |
0.0592 0.0592
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html |
|
Doc 36 |
0.0587 0.1068
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html |
|
Doc 37 |
0.0581 0.0581
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Axiom_of_adjunction.html |
|
Doc 38 |
0.0575 0.0575
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Valuation_ring.html |
|
Doc 39 |
0.0573 0.0573
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html |
|
Doc 40 |
0.0571 0.1053
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Ancestral_relation.html |
|
Doc 41 |
0.0568 0.0568
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Skew-symmetric_matrix.html |
|
Doc 42 |
0.0564 0.0564
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html |
|
Doc 43 |
0.0557 0.1055
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Ackermann_set_theory.html |
|
Doc 44 |
0.0554 0.1580
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Heyting_algebra.html |
|
Doc 45 |
0.0550 0.0550
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/General_frame.html |
|
Doc 46 |
0.0541 0.0541
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Demonic_composition.html |
|
Doc 47 |
0.0526 0.1579
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Program_synthesis.html |
|
Doc 48 |
0.0521 0.0521
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Method_of_analytic_tableaux.html |
|
Doc 49 |
0.0519 0.1474
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html |
|
Doc 50 |
0.0502 0.0502
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html |
|
Doc 51 |
0.0502 0.0502
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html |
|
Doc 52 |
0.0494 0.0494
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Dense_order.html |
|
Doc 53 |
0.0493 0.0980
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Alexandrov_topology.html |
|
Doc 54 |
0.0490 0.0490
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Apartness_relation.html |
|
Doc 55 |
0.0488 0.0488
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasi-set_theory.html |
|
Doc 56 |
0.0486 0.0486
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Single_crossing_condition.html |
|
Doc 57 |
0.0483 0.0483
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Johnson_bound.html |
|
Doc 58 |
0.0483 0.0483
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html |
|
Doc 59 |
0.0480 0.0480
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Max-flow_min-cut_theorem.html |
|
Doc 60 |
0.0478 0.0956
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html |
|
Doc 61 |
0.0478 0.0956
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html |
|
Doc 62 |
0.0478 0.0951
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Prewellordering.html |
|
Doc 63 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html |
|
Doc 64 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Bitopological_space.html |
|
Doc 65 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html |
|
Doc 66 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Equivalence_of_metrics.html |
|
Doc 67 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html |
|
Doc 68 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html |
|
Doc 69 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html |
|
Doc 70 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html |
|
Doc 71 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Nakamura_number.html |
|
Doc 72 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Boehmians.html |
|
Doc 73 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html |
|
Doc 74 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html |
|
Doc 75 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html |
|
Doc 76 |
0.0478 0.0478
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html |
|
Doc 77 |
0.0469 0.0469
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html |
|
Doc 78 |
0.0468 0.0468
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Graph_algebra.html |
|
Doc 79 |
0.0468 0.0468
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Singleton_bound.html |
|