Returned 56 matches
(100 formulae, 117 docs)
Lookup 91.915 ms, Re-ranking 0.035 ms
Found 184845 tuple postings, 84551 formulae, 14655 documents
Doc 1 |
0.3750 2.6734
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Peano_axioms.html |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
Doc 2 |
0.3750 0.6417
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Symmetry_of_diatomic_molecules.html |
|
Doc 3 |
0.3750 0.5958
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Glossary_of_Lie_algebras.html |
|
Doc 4 |
0.3750 0.5928
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Clebsch–Gordan_coefficients_for_SU(3).html |
|
Doc 5 |
0.3621 0.3621
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Strong_antichain.html |
|
Doc 6 |
0.3488 0.6977
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Alternatization.html |
|
Doc 7 |
0.3273 0.9818
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Universal_hashing.html |
|
Doc 8 |
0.3205 0.5942
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Pseudo-order.html |
|
Doc 9 |
0.2917 0.2917
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Normed_algebra.html |
|
Doc 10 |
0.2748 0.2748
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ideal_(ring_theory).html |
|
Doc 11 |
0.2667 1.5373
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Artin_transfer_(group_theory).html |
|
Doc 12 |
0.2667 0.8000
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Causal_fermion_system.html |
|
Doc 13 |
0.2667 0.8000
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Discrete_space.html |
|
Doc 14 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Compact_quantum_group.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 17 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Models_of_DNA_evolution.html |
|
Doc 18 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cauchy_product.html |
|
Doc 19 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Causal_sets.html |
|
Doc 20 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Metric_space.html |
|
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 23 |
0.2667 0.5333
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Reproducing_kernel_Hilbert_space.html |
|
Doc 24 |
0.2667 0.5241
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Tarski's_theorem_about_choice.html |
|
Doc 25 |
0.2667 0.5167
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Uniformly_smooth_space.html |
|
Doc 26 |
0.2667 0.5167
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Isomorphism.html |
|
Doc 27 |
0.2667 0.4817
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Infrastructure_(number_theory).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 31 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Discrete_valuation.html |
|
Doc 32 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Quotient_space_(topology).html |
|
Doc 33 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Fermat's_Last_Theorem.html |
|
Doc 34 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complex_analysis.html |
|
Doc 35 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasinorm.html |
|
Doc 36 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Utility.html |
|
Doc 37 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Index_set_(recursion_theory).html |
|
Doc 38 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Divided_power_structure.html |
|
Doc 39 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Construction_of_the_real_numbers.html |
|
Doc 40 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Metric_map.html |
|
Doc 41 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Adjoint_representation.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 44 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Talagrand's_concentration_inequality.html |
|
Doc 45 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Differential_algebra.html |
|
Doc 46 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Kolmogorov_equations_(Markov_jump_process).html |
|
Doc 47 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Maximal_element.html |
|
Doc 48 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Packing_in_a_hypergraph.html |
|
Doc 49 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Affine_monoid.html |
|
Doc 50 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Heap_(mathematics).html |
|
Doc 51 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Pairing_function.html |
|
Doc 52 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Yang–Baxter_equation.html |
|
Doc 53 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Locally_connected_space.html |
|
Doc 54 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Jensen's_inequality.html |
|
Doc 55 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Bose–Mesner_algebra.html |
|
Doc 56 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quasiconvex_function.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 |
|
Doc 60 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tutte_polynomial.html |
|
Doc 61 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Commutative_non-associative_magmas.html |
|
Doc 62 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/István_Fenyő.html |
|
Doc 63 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Indefinite_inner_product_space.html |
|
Doc 64 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Antilinear_map.html |
|
Doc 65 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/Causality_conditions.html |
|
Doc 66 |
0.2667 0.2667
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Ring_(mathematics).html |
|
Doc 67 |
0.2569 0.7336
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Implementation_of_mathematics_in_set_theory.html |
|
Doc 68 |
0.2537 0.2537
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle_inequality.html |
|
Doc 69 |
0.2532 0.2532
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Permanent.html |
|
Doc 70 |
0.2500 0.8964
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Total_order.html |
|
Doc 71 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Subadditivity.html |
|
Doc 72 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Primary_ideal.html |
|
Doc 73 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Stufe_(algebra).html |
|
Doc 74 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Cayley–Purser_algorithm.html |
|
Doc 75 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Trace_monoid.html |
|
Doc 76 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/John's_equation.html |
|
Doc 77 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Voter_model.html |
|
Doc 78 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Inequality_(mathematics).html |
|
Doc 79 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Markov_partition.html |
|
Doc 80 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Markov_switching_multifractal.html |
|
Doc 81 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Schur-convex_function.html |
|
Doc 82 |
0.2500 0.2500
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/ACE_Encrypt.html |
|
Doc 83 |
0.2488 0.2488
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/ST_type_theory.html |
|
Doc 84 |
0.2439 0.4381
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Let_expression.html |
|
Doc 85 |
0.2340 0.7021
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Plotkin_bound.html |
|
Doc 86 |
0.2326 0.4651
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quadratic_reciprocity.html |
|
Doc 87 |
0.2326 0.4651
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Cellular_algebra.html |
|
Doc 88 |
0.2326 0.2326
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Graph_amalgamation.html |
|
Doc 89 |
0.2326 0.2326
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Imaginary_hyperelliptic_curve.html |
|
Doc 90 |
0.2326 0.2326
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Axiom_of_power_set.html |
|
Doc 91 |
0.2290 0.2290
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_space.html |
|
Doc 92 |
0.2265 0.2265
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Syntactic_monoid.html |
|
Doc 93 |
0.2250 0.2250
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Hopf_invariant.html |
|
Doc 94 |
0.2174 0.2174
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Example_of_a_game_without_a_value.html |
|
Doc 95 |
0.2174 0.2174
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Wonderland_model.html |
|
Doc 96 |
0.2128 0.2128
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Factorization_of_polynomials_over_finite_fields.html |
|
Doc 97 |
0.2062 0.2062
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Hadamard_code.html |
|
Doc 98 |
0.2041 0.4082
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Controlled_grammar.html |
|
Doc 99 |
0.2027 0.2027
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lambda_calculus_definition.html |
|
Doc 100 |
0.2025 0.2025
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Banach_algebra.html |
|
Doc 101 |
0.2020 0.2020
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Interval_arithmetic.html |
|
Doc 102 |
0.2018 0.2018
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Skolem_normal_form.html |
|
Doc 103 |
0.2000 0.2000
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Construction_Irreducible_Markov_Chain_in_Ising_Model.html |
|
Doc 104 |
0.1985 0.1985
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Sahlqvist_formula.html |
|
Doc 105 |
0.1982 0.1982
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000011/Articles/C-minimal_theory.html |
|
Doc 106 |
0.1980 0.7921
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_product.html |
|
Doc 107 |
0.1980 0.1980
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Boolean_algebra.html |
|
Doc 108 |
0.1980 0.1980
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Lie_groupoid.html |
|
Doc 109 |
0.1980 0.1980
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Satisfiability_modulo_theories.html |
|
Doc 110 |
0.1980 0.1980
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Machine_epsilon.html |
|
Doc 111 |
0.1963 0.3926
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Zermelo–Fraenkel_set_theory.html |
|
Doc 112 |
0.1942 0.3883
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Director_string.html |
|
Doc 113 |
0.1913 0.1913
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Bijection,_injection_and_surjection.html |
|
Doc 114 |
0.1880 0.1880
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Mean_field_particle_methods.html |
|
Doc 115 |
0.1864 0.1864
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Nonlinear_dimensionality_reduction.html |
|
Doc 116 |
0.1860 0.5581
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Partially_ordered_ring.html |
|
Doc 117 |
0.1860 0.1860
|
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Axiom_schema_of_predicative_separation.html |
|