Returned 91 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 717.760 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.1209 0.1209
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html |
|
Doc 3 |
0.1067 0.2202
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html |
|
Doc 4 |
0.1021 0.1021
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html |
|
Doc 5 |
0.1005 0.3008
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html |
|
Doc 6 |
0.0851 0.1939
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html |
|
Doc 7 |
0.0847 0.0847
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html |
|
Doc 8 |
0.0836 0.3369
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html |
|
Doc 9 |
0.0746 0.1220
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Near_sets.html |
|
Doc 10 |
0.0746 0.1203
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Skew_lattice.html |
|
Doc 11 |
0.0746 0.0746
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html |
|
Doc 12 |
0.0746 0.0746
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html |
|
Doc 13 |
0.0733 0.5366
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
Doc 14 |
0.0733 0.2158
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html |
|
Doc 15 |
0.0733 0.1067
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html |
|
Doc 16 |
0.0733 0.0733
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html |
|
Doc 17 |
0.0733 0.0733
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html |
|
Doc 18 |
0.0724 0.1435
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html |
|
Doc 19 |
0.0719 0.1438
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html |
|
Doc 20 |
0.0693 0.0693
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html |
|
Doc 21 |
0.0667 0.2388
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html |
|
Doc 22 |
0.0641 0.0854
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html |
|
Doc 23 |
0.0635 0.0635
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Valuation_ring.html |
|
Doc 24 |
0.0630 0.1246
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Mereology.html |
|
Doc 25 |
0.0627 0.0627
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html |
|
Doc 26 |
0.0627 0.0627
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html |
|
Doc 27 |
0.0621 0.0621
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Skew-symmetric_matrix.html |
|
Doc 28 |
0.0621 0.0621
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html |
|
Doc 29 |
0.0620 0.1570
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Whitehead's_point-free_geometry.html |
|
Doc 30 |
0.0606 0.1761
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Arithmetic_combinatorics.html |
|
Doc 31 |
0.0605 0.1278
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/General_set_theory.html |
|
Doc 32 |
0.0598 0.0598
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html |
|
Doc 33 |
0.0570 0.0570
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Method_of_analytic_tableaux.html |
|
Doc 34 |
0.0543 0.0543
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html |
|
Doc 35 |
0.0523 0.0523
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html |
|
Doc 36 |
0.0516 0.1466
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html |
|
Doc 37 |
0.0506 0.1329
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Heyting_algebra.html |
|
Doc 38 |
0.0502 0.1117
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Well-quasi-ordering.html |
|
Doc 39 |
0.0502 0.0502
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html |
|
Doc 40 |
0.0488 0.0488
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Apartness_relation.html |
|
Doc 41 |
0.0475 0.0949
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/CAT(k)_space.html |
|
Doc 42 |
0.0475 0.0949
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Partially_ordered_space.html |
|
Doc 43 |
0.0475 0.0710
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Prewellordering.html |
|
Doc 44 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html |
|
Doc 45 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Bitopological_space.html |
|
Doc 46 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Boehmians.html |
|
Doc 47 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Equivalence_of_metrics.html |
|
Doc 48 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html |
|
Doc 49 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html |
|
Doc 50 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html |
|
Doc 51 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html |
|
Doc 52 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html |
|
Doc 53 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Nakamura_number.html |
|
Doc 54 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).html |
|
Doc 55 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html |
|
Doc 56 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html |
|
Doc 57 |
0.0475 0.0475
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html |
|
Doc 58 |
0.0463 0.0463
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/General_frame.html |
|
Doc 59 |
0.0458 0.1373
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Program_synthesis.html |
|
Doc 60 |
0.0458 0.0458
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html |
|
Doc 61 |
0.0458 0.0458
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html |
|
Doc 62 |
0.0455 0.0455
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Demonic_composition.html |
|
Doc 63 |
0.0436 0.0436
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html |
|
Doc 64 |
0.0436 0.0436
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html |
|
Doc 65 |
0.0424 0.0424
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasi-set_theory.html |
|
Doc 66 |
0.0418 0.0418
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Max-flow_min-cut_theorem.html |
|
Doc 67 |
0.0407 0.0407
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Graph_algebra.html |
|
Doc 68 |
0.0391 0.0604
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Ancestral_relation.html |
|
Doc 69 |
0.0373 0.0373
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Johnson_bound.html |
|
Doc 70 |
0.0373 0.0373
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html |
|
Doc 71 |
0.0362 0.0362
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Singleton_bound.html |
|
Doc 72 |
0.0327 0.0590
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/First-order_logic.html |
|
Doc 73 |
0.0327 0.0327
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html |
|
Doc 74 |
0.0323 0.0540
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Ackermann_set_theory.html |
|
Doc 75 |
0.0249 0.0249
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html |
|
Doc 76 |
0.0215 0.0215
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Single_crossing_condition.html |
|
Doc 77 |
0.0179 0.0179
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Dense_order.html |
|
Doc 78 |
0.0179 0.0340
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Alexandrov_topology.html |
|
Doc 79 |
0.0165 0.0165
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Axiom_of_adjunction.html |
|