Returned 19 matches (100 formulae, 78 docs)
    Lookup 2.373 ms, Re-ranking 30.406 ms
    Found 7860 tuple postings, 1318 formulae, 674 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
0.7059
0.0000
1.0000
10.5882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/List_of_rules_of_inference.html
¬ ¬ φ ¯
φ ψ ¯
φ ψ ¯
φ ψ ¯
φ ψ ¯
φ ψ ¯
ψ φ ¯
ψ φ ¯
¬ φ ¯
¬ φ ¯
¬ φ ¯
¬ ψ ¯
¬ ψ ¯
¬ ψ ¯
φ ¬ ψ ¯
Doc 2
0.7059
0.0000
1.0000
7.7647
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Orthotropic_material.html
𝐀 ¯ ¯
𝐀 ¯ ¯
𝖢 ¯ ¯
𝖢 ¯ ¯
𝖢 ¯ ¯
𝖲 ¯ ¯
𝖲 ¯ ¯
𝐀 2 ¯ ¯
𝐀 3 ¯ ¯
𝖠 σ ¯ ¯
𝖲 k ¯ ¯

Doc 3
0.7059
0.0000
1.0000
6.3529
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/No-cloning_theorem.html
| ψ A
| ϕ A
| ϕ A
| ϕ A
| e B
| z + B
| z + B
| z - B
| z - B
Doc 4
0.7059
0.0000
1.0000
2.8235
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Quantum_no-deleting_theorem.html
| ψ A
| 0 B
| A C
| A C

Doc 5
0.7059
0.0000
1.0000
2.8235
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/No-communication_theorem.html
| z + B
| z + B
| z - B
| z - B

Doc 6
0.7059
0.0000
1.0000
2.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Preclosure_operator.html
[ ] seq
[ ] seq
[ ] p
Doc 7
0.7059
0.0000
1.0000
2.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Stein's_method.html
|| f ||
|| f ||
|| h ||
Doc 8
0.7059
0.0000
1.0000
2.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quantum_cloning.html
| ψ A
| ψ A
| e B
Doc 9
0.7059
0.0000
1.0000
2.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/POVM.html
| 0 B
| 0 B
{ | i B }
Doc 10
0.7059
0.0000
1.0000
2.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Controlled_NOT_gate.html
| + A
| - B
| 0 B
Doc 11
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Electromagnetic_reverberation_chamber.html
X
X

Doc 12
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Quantum_nondemolition_measurement.html
| R i
| A i 𝒮

Doc 13
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Cluster-expansion_approach.html
2 S
N S

Doc 14
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Quantum_complex_network.html
| ϕ i
| ϕ j

Doc 15
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Effective_nuclear_charge.html
r H
r Z

Doc 16
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quantum_entanglement.html
| ψ A
| ϕ B

Doc 17
0.7059
0.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Hyperfine_structure.html
Q ¯ ¯
q ¯ ¯

Doc 18
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Generalized_Helmholtz_theorem.html
t

Doc 19
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Super-resolution_optical_fluctuation_imaging.html
t

Doc 20
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Fluctuation-dissipation_theorem.html
x 0

Doc 21
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Matrix_(mathematics).html
A ¯ ¯

Doc 22
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
A r

Doc 23
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Kubo_formula.html
0

Doc 24
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Casting_out_nines.html
× 62 \bcancel 9 ¯

Doc 25
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Gyrokinetics.html
φ

Doc 26
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Continuous-time_Markov_chain.html
|| ϕ || 1

Doc 27
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Lag_operator.html
[ ] +

Doc 28
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Quantum_amplifier.html
a ^ initial

Doc 29
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Numerical_sign_problem.html
A ρ

Doc 30
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Fock_space.html
| Ψ -

Doc 31
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Baum–Connes_conjecture.html
E Γ ¯

Doc 32
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Cumulant.html
E 2 c

Doc 33
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Coherent_states.html
n th

Doc 34
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Volume_conjecture.html
K N

Doc 35
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Hodge_theory.html
, k

Doc 36
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/True_arithmetic.html
# ( θ ) ¯

Doc 37
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Expectation_value_(quantum_mechanics).html
A σ

Doc 38
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Divergence.html
ϵ ¯ ¯

Doc 39
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Helmholtz_free_energy.html
X 0

Doc 40
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Structure_(mathematical_logic).html
B 𝒜

Doc 41
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Quantum_state.html
A σ

Doc 42
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lieb-Robinson_bounds.html
< A > Ω

Doc 43
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Helmholtz_theorem_(classical_mechanics).html
t

Doc 44
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Gittins_index.html
c

Doc 45
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Deep_learning.html
p

Doc 46
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Vinculum_(symbol).html
A B ¯

Doc 47
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Green's_function.html
ϕ S

Doc 48
0.7059
0.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Fundamental_plane_(elliptical_galaxies).html
I e

Doc 49
0.7059
-1.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Group_(mathematics).html
a a n factors ,

Doc 50
0.7059
-1.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Golomb_coding.html
111 111 N 0

Doc 51
0.7059
-2.0000
1.0000
1.4118
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Arg_max.html
arg max x x 3
arg min x f ( x )

Doc 52
0.7059
-2.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Kernel_embedding_of_distributions.html
|| f || 1

Doc 53
0.7059
-2.0000
1.0000
0.7059
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Method_of_continuity.html
|| y || V 1

Doc 54
0.4000
0.0000
1.0000
2.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/High-velocity_cloud.html
M
M
M
M
M
M
M

Doc 55
0.4000
0.0000
1.0000
2.0000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Gliese_667.html
L
a
h
T eff
h

Doc 56
0.4000
0.0000
1.0000
2.0000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Block_LU_decomposition.html
0
A
A
I
L U

Doc 57
0.4000
0.0000
1.0000
1.2000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Betelgeuse.html
M
M
M
Doc 58
0.4000
0.0000
1.0000
0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Deneb_in_fiction.html
M
M

Doc 59
0.4000
0.0000
1.0000
0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Robinson–Schensted–Knuth_correspondence.html
2
4

Doc 60
0.4000
0.0000
1.0000
0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Main_sequence.html
L
M

Doc 61
0.4000
0.0000
1.0000
0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Kepler-4b.html
M
R

Doc 62
0.4000
0.0000
1.0000
0.8000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Info-gap_decision_theory.html
Opportuneness Model
Robustness Model

Doc 63
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Seismic_anisotropy.html
θ

Doc 64
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Epsilon_Eridani_in_fiction.html
M

Doc 65
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Portal:Star::Selected_article::19.html
M

Doc 66
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Acute_and_obtuse_triangles.html

Doc 67
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Poker_probability_(Omaha).html
4 !

Doc 68
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Chandrasekhar_limit.html
M

Doc 69
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Sh2-106.html
M

Doc 70
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Carbon-burning_process.html
M

Doc 71
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/IGR_J17091-3624.html
M

Doc 72
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Andromeda_Galaxy.html
M

Doc 73
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Proxima_Centauri.html
ρ

Doc 74
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/NGC_4845.html
M

Doc 75
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle.html

Doc 76
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Transverse_isotropy.html
θ

Doc 77
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/NGC_6166.html
M

Doc 78
0.4000
0.0000
1.0000
0.4000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Tau_Ceti_in_fiction.html
L