tangent
Not Supported
*1*
⏟
*2*
Search
Returned 19 matches (100 formulae, 78 docs)
Lookup 2.373 ms, Re-ranking 49.215 ms
Found 7860 tuple postings, 1318 formulae, 674 documents
[ formulas ]
[ documents ]
[ documents-by-formula ]
Doc 1
0.7500
11.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/List_of_rules_of_inference.html
¬
¬
φ
¯
φ
∧
ψ
¯
φ
∧
ψ
¯
φ
∨
ψ
¯
φ
∨
ψ
¯
φ
⊢
ψ
¯
ψ
→
φ
¯
ψ
∨
φ
¯
¬
φ
¯
¬
φ
¯
¬
φ
¯
¬
ψ
¯
¬
ψ
¯
¬
ψ
¯
φ
⊢
¬
ψ
¯
Doc 2
0.7500
8.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Orthotropic_material.html
𝐀
2
¯
¯
𝐀
3
¯
¯
𝖠
σ
¯
¯
𝖲
k
¯
¯
𝐀
¯
¯
𝐀
¯
¯
𝖢
¯
¯
𝖢
¯
¯
𝖢
¯
¯
𝖲
¯
¯
𝖲
¯
¯
Doc 3
0.7500
6.7500
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.7500
3.0000
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.7500
3.0000
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.7500
2.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Preclosure_operator.html
[
]
seq
[
]
seq
[
]
p
Doc 7
0.7500
2.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Stein's_method.html
||
f
||
∞
||
f
′
||
∞
||
h
′
||
∞
Doc 8
0.7500
2.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Quantum_cloning.html
|
ψ
⟩
A
|
ψ
⟩
A
|
e
⟩
B
Doc 9
0.7500
2.2500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Controlled_NOT_gate.html
|
+
⟩
A
|
-
⟩
B
|
0
⟩
B
Doc 10
0.7500
2.1076
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/POVM.html
|
0
⟩
B
|
0
⟩
B
{
|
i
⟩
B
}
Doc 11
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Electromagnetic_reverberation_chamber.html
⌈
X
⌉
∞
⟨
X
⟩
∞
Doc 12
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Quantum_nondemolition_measurement.html
|
R
i
⟩
ℛ
|
A
i
⟩
𝒮
Doc 13
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Cluster-expansion_approach.html
⟨
2
⟩
S
⟨
N
⟩
S
Doc 14
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Quantum_complex_network.html
|
ϕ
⟩
i
|
ϕ
⟩
j
Doc 15
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Effective_nuclear_charge.html
⟨
r
⟩
H
⟨
r
⟩
Z
Doc 16
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Quantum_entanglement.html
|
ψ
⟩
A
|
ϕ
⟩
B
Doc 17
0.7500
1.5000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Hyperfine_structure.html
Q
¯
¯
q
¯
¯
Doc 18
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Generalized_Helmholtz_theorem.html
⟨
⋅
⟩
t
Doc 19
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Super-resolution_optical_fluctuation_imaging.html
⟨
⋯
⟩
t
Doc 20
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Matrix_(mathematics).html
A
¯
¯
Doc 21
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Volume_conjecture.html
⟨
K
⟩
N
Doc 22
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
⟨
A
⟩
r
Doc 23
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Kubo_formula.html
⟨
⟩
0
Doc 24
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Casting_out_nines.html
×
62
\bcancel
9
¯
Doc 25
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Gyrokinetics.html
⟨
…
⟩
φ
Doc 26
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Continuous-time_Markov_chain.html
||
ϕ
||
1
Doc 27
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Lag_operator.html
[
]
+
Doc 28
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Numerical_sign_problem.html
⟨
A
⟩
ρ
Doc 29
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Fock_space.html
|
Ψ
⟩
-
Doc 30
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Cumulant.html
⟨
E
2
⟩
c
Doc 31
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Coherent_states.html
⟨
n
⟩
th
Doc 32
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Hodge_theory.html
⟨
,
⟩
k
Doc 33
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/True_arithmetic.html
#
(
θ
)
¯
Doc 34
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Quantum_amplifier.html
⟨
a
^
⟩
initial
Doc 35
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Baum–Connes_conjecture.html
E
Γ
¯
Doc 36
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Divergence.html
ϵ
¯
¯
Doc 37
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Lieb-Robinson_bounds.html
<
A
>
Ω
Doc 38
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Fluctuation-dissipation_theorem.html
⟨
x
⟩
0
Doc 39
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Helmholtz_free_energy.html
⟨
X
⟩
0
Doc 40
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Expectation_value_(quantum_mechanics).html
⟨
A
⟩
σ
Doc 41
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Structure_(mathematical_logic).html
⟨
B
⟩
𝒜
Doc 42
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Quantum_state.html
⟨
A
⟩
σ
Doc 43
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Vinculum_(symbol).html
A
B
¯
Doc 44
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Helmholtz_theorem_(classical_mechanics).html
⟨
⋅
⟩
t
Doc 45
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Gittins_index.html
⟨
⋅
⟩
c
Doc 46
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Deep_learning.html
⟨
⋯
⟩
p
Doc 47
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Green's_function.html
⟨
ϕ
⟩
S
Doc 48
0.7500
0.7500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Fundamental_plane_(elliptical_galaxies).html
⟨
I
⟩
e
Doc 49
0.7328
0.7328
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Group_(mathematics).html
a
⋯
a
⏟
n
factors
,
Doc 50
0.7304
0.7304
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Golomb_coding.html
111
⋯
111
⏟
N
0
Doc 51
0.6742
1.1914
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.6575
0.6575
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Kernel_embedding_of_distributions.html
||
f
||
ℋ
≤
1
Doc 53
0.6575
0.6575
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Method_of_continuity.html
||
y
||
V
≤
1
Doc 54
0.5714
4.0000
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/High-velocity_cloud.html
M
⊙
M
⊙
M
⊙
M
⊙
M
⊙
M
⊙
M
⊙
Doc 55
0.5714
2.8571
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Gliese_667.html
L
a
h
T
eff
h
⊙
Doc 56
0.5714
2.8571
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Block_LU_decomposition.html
0
A
A
I
L
U
Doc 57
0.5714
1.7143
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Betelgeuse.html
M
⊙
M
⊙
M
⊙
Doc 58
0.5714
1.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Deneb_in_fiction.html
M
⊙
M
⊙
Doc 59
0.5714
1.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Robinson–Schensted–Knuth_correspondence.html
2
4
Doc 60
0.5714
1.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Main_sequence.html
L
⊙
M
⊙
Doc 61
0.5714
1.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Info-gap_decision_theory.html
Opportuneness Model
Robustness Model
Doc 62
0.5714
1.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Kepler-4b.html
M
⊙
R
⊙
Doc 63
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Proxima_Centauri.html
ρ
⊙
Doc 64
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Seismic_anisotropy.html
θ
Doc 65
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Epsilon_Eridani_in_fiction.html
M
⊙
Doc 66
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Portal:Star::Selected_article::19.html
M
⊙
Doc 67
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Poker_probability_(Omaha).html
4
!
Doc 68
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000016/Articles/Acute_and_obtuse_triangles.html
⏟
Doc 69
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Chandrasekhar_limit.html
M
⊙
Doc 70
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/Sh2-106.html
M
⊙
Doc 71
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Carbon-burning_process.html
M
⊙
Doc 72
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/IGR_J17091-3624.html
M
⊙
Doc 73
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Andromeda_Galaxy.html
M
⊙
Doc 74
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/NGC_4845.html
M
⊙
Doc 75
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Triangle.html
⏟
Doc 76
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Transverse_isotropy.html
θ
Doc 77
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000015/Articles/NGC_6166.html
M
⊙
Doc 78
0.5714
0.5714
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Tau_Ceti_in_fiction.html
L
⊙