Returned 87 matches (100 formulae, 52 docs)
    Lookup 4.976 ms, Re-ranking 1060.317 ms
    Found 42764 tuple postings, 31889 formulae, 9035 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
18.0000
cos α = - cos β cos γ + sin β sin γ cosh a k ,

0.7975
-1.0000
10.0000
cos C = - cos A cos B + sin A sin B cosh c ,

0.7712
-2.0000
9.0000
cos A = - cos B cos C + sin B sin C cosh a .

0.7401
-2.0000
9.0000
cos A = - cos B cos C + sin B sin C cos a ,
cos B = - cos C cos A + sin C sin A cos b ,

0.7140
-3.0000
8.0000
cos C = - cos A cos B + sin A sin B cos c .

0.5422
-27.0000
2.0000
cos ( α + β ) + cos ( α - β ) = cos α cos β - sin α sin β + cos α cos β + sin α sin β = 2 cos α cos β

0.5096
-5.0000
6.0000
cos a = cos b cos c + sin b sin c cos A ,
cos b = cos c cos a + sin c sin a cos B ,
cos c = cos a cos b + sin a sin b cos C ,
0.4848
-5.0000
5.0000
cos a = cos b cos c + sin b sin c cos α

0.4848
-6.0000
5.0000
sin α s = cos h cos δ cos φ + sin δ sin φ

0.4848
-6.0000
5.0000
cos ( α - β ) = cos α cos β + sin α sin β
cos ( x - y ) = cos x cos y + sin x sin y

0.4848
-6.0000
5.0000
c = arccos ( cos a cos b + sin a sin b cos γ )

0.4848
-6.0000
5.0000
cos a = cos b cos c + sin b sin c cos A .
cos c = cos a cos b + sin a sin b cos γ .

0.4848
-7.0000
5.0000
cos ( x - y ) = cos x cos y + sin x sin y .

0.4848
-15.0000
5.0000
cos a = ( cos a cos c + sin a sin c cos B ) cos c + sin b sin c cos A

0.4516
-29.0000
5.0000
cos ( α + β ) - cos ( α - β ) = cos α cos β - sin α sin β - cos α cos β - sin α sin β = - 2 sin α sin β

0.4138
-21.0000
4.0000
cos ( α + β ) = O B = O A - B A = O A - R Q = cos α cos β - sin α sin β

0.3934
-7.0000
4.0000
cos ( α + β ) = cos α cos β - sin α sin β
cos ( α ± β ) = cos α cos β sin α sin β
cos ( x + y ) = cos x cos y - sin x sin y
cos ( x - y ) = cos x cos y - sin x sin y
cos ( A ± B ) = cos A cos B sin A sin B

0.3934
-8.0000
4.0000
cos ( x + y ) = cos x cos y - sin x sin y ,

0.3934
-21.0000
4.0000
e i ( α + β ) = ( cos α cos β - sin α sin β ) + i ( sin α cos β + sin β cos α )

0.3934
-29.0000
4.0000
tan ( α + β ) = sin ( α + β ) cos ( α + β ) = sin α cos β + cos α sin β cos α cos β - sin α sin β

0.3934
-29.0000
4.0000
cot ( α + β ) = cos ( α + β ) sin ( α + β ) = cos α cos β - sin α sin β sin α cos β + cos α sin β

0.3540
-17.0000
5.0000
s y m b o l φ ^ 𝐫 ^ = - sin φ cos φ + cos φ sin φ = 0

0.3540
-29.0000
4.0000
sin ( α + β ) - sin ( α - β ) = sin α cos β + cos α sin β - sin α cos β + cos α sin β = 2 cos α sin β

0.3349
-7.0000
5.0000
sin δ = sin β cos ε + cos β sin ε sin λ

0.3349
-8.0000
3.0000
sin ( α + β ) = sin α cos β + cos α sin β

0.3349
-9.0000
1.0000
cos γ = sin θ s sin θ cos ψ + cos θ s cos θ

0.3349
-26.0000
7.0000
sin α sin β cos β cos γ + sin α cos 2 β sin γ + cos α sin 2 β cos γ + cos α sin β cos β sin γ

0.3349
-40.0000
0.0000
tan α = sin λ cos ε - tan β sin ε cos λ ; { cos δ sin α = cos β sin λ cos ε - sin β sin ε ; cos δ cos α = cos β cos λ .

0.3125
0.0000
4.0000
cos C = - cos A

0.3125
-15.0000
3.0000
cos a sin 2 c = sin a cos c sin c cos B + sin b sin c cos A

0.2932
-8.0000
5.0000
cos θ 1 cos θ 2 + sin θ 1 sin θ 2 = 0

0.2932
-11.0000
5.0000
cos ( θ - θ ) = cos θ cos θ + sin θ sin θ

0.2932
-11.0000
4.0000
cos c = cos a cos b - n ^ m ^ sin a sin b ,

0.2932
-13.0000
5.0000
cos γ = cos θ cos θ + sin θ sin θ cos ( ϕ - ϕ )

0.2932
-14.0000
5.0000
cos γ = cos θ cos θ + sin θ sin θ cos ( φ - φ ) .
cos Θ = cos φ cos φ + sin φ sin φ cos ( θ - θ ) .

0.2932
-16.0000
4.0000
cos c = cos a cos b - u ^ v ^ sin a sin b ,

0.2932
-20.0000
5.0000
sin G = cos L cos D cos R - sin L sin R = - cos L cos D sin I + sin L cos I

0.2759
-9.0000
2.0000
sin ( α - β ) = sin α cos β - cos α sin β
sin ( α ± β ) = sin α cos β ± cos α sin β

0.2759
-14.0000
5.0000
y ( u , v ) = - cos θ sinh v cos u + sin θ cosh v sin u

0.2759
-19.0000
3.0000
a b c 1 - cos 2 α - cos 2 β - cos 2 γ + 2 cos α cos β cos γ

0.2759
-22.0000
2.0000
tan α 1 = cos β 2 sin ω 12 cos β 1 sin β 2 - sin β 1 cos β 2 cos ω 12 ,

0.2548
-10.0000
4.0000
sin ( α + γ ) = sin α cos γ + sin γ cos α

0.2548
-11.0000
3.0000
γ = arccos ( sin α sin β cos c - cos α cos β ) ,

0.2548
-11.0000
3.0000
a = arccos ( cos α + cos β cos γ sin β sin γ )

0.2548
-11.0000
1.0000
b = arccos ( cos β + cos γ cos α sin γ sin α )

0.2548
-12.0000
4.0000
c ( sin α cos γ + sin γ cos α ) = b sin γ ,

0.2548
-12.0000
3.0000
a = arccos ( cos α + cos β cos γ sin β sin γ ) ,

0.2548
-12.0000
2.0000
c = arccos ( cos γ + cos α cos β sin α sin β ) .

0.2548
-12.0000
1.0000
b = arccos ( cos β + cos γ cos α sin γ sin α ) ,

0.2548
-20.0000
5.0000
sin ( α + β ) sin ( β + γ ) = sin α sin γ + sin β sin ( α + β + γ )

0.2526
-13.0000
8.0000
cos ( A ) = - cos ( B ) cos ( C ) + sin ( B ) sin ( C ) cos ( a )

0.2308
-9.0000
0.0000
sin ( α + β ) = sin α cos β + sin β cos α

0.2308
-11.0000
2.0000
γ α θ cos θ + γ θ β + γ α β cos β = 0

0.2308
-13.0000
0.0000
α - β sin ( α - β ) = sin α cos β - sin β cos α

0.2308
-14.0000
2.0000
𝐀 = 𝐀 ( cos α 𝐢 ^ + cos β 𝐣 ^ + cos γ 𝐤 ^ ) ,

0.2308
-36.0000
3.0000
a 2 = a 1 cos β 1 - sin 2 β cos 2 γ 1 - ω 1 2 cos β sin 2 β sin 2 γ 1 ( 1 - sin 2 β cos 2 γ 1 ) 2

0.2158
-4.0000
3.0000
sin γ = c b sin β .

0.2158
-4.0000
0.0000
tan γ 1 = cos β tan γ 2

0.2158
-5.0000
2.0000
c = a cos β + b cos α .

0.2158
-9.0000
2.0000
cos β f ( x ) - sin β f ( x ) = 0

0.2158
-12.0000
2.0000
γ α θ + γ θ β cos θ + γ α β cos α = 0

0.2158
-12.0000
2.0000
γ α θ cos α + γ θ β cos β + γ α β = 0

0.2158
-14.0000
4.0000
cos 2 θ + sin 2 θ = a 2 + b 2 c 2 = 1 ,

0.2158
-17.0000
3.0000
cos a - cos b = - 2 sin ( a + b 2 ) sin ( a - b 2 )

0.2158
-20.0000
5.0000
cos 2 α + cos 2 β + cos 2 γ + 2 cos ( α ) cos ( β ) cos ( γ ) = 1 ,

0.2158
-25.0000
2.0000
V = a b c 6 1 + 2 cos α cos β cos γ - cos 2 α - cos 2 β - cos 2 γ ,

0.1967
-5.0000
4.0000
cos 2 γ + sin 2 γ = 1.

0.1967
-10.0000
4.0000
γ 2 = atan2 ( sin γ 1 , cos β cos γ 1 )

0.1967
-13.0000
1.0000
cos ( α - β ) = cos α cos - β - sin α sin - β

0.1967
-13.0000
0.0000
ω 2 = ω 1 cos β 1 - sin 2 β cos 2 γ 1

0.1967
-17.0000
4.0000
𝐱 ^ 2 = [ - cos β sin γ 2 , cos γ 2 , sin β sin γ 2 ]

0.1967
-20.0000
0.0000
r R = 4 T 2 s a b c = cos α + cos β + cos γ - 1 ;

0.1967
-28.0000
3.0000
tan ( α + β 2 ) = sin α + sin β cos α + cos β = - cos α - cos β sin α - sin β

0.1967
-32.0000
4.0000
( ω x ω y ω z ) = ( - sin β cos γ sin γ 0 sin β sin γ cos γ 0 cos β 0 1 ) ( α ˙ β ˙ γ ˙ ) .

0.1806
-23.0000
5.0000
e i ( θ / 2 ) ( n ^ σ ) = I 2 cos θ / 2 + i ( n ^ σ ) sin θ / 2 ,

0.1653
-12.0000
3.0000
sin ( α - β ) = sin α cos - β + cos α sin - β

0.1538
-6.0000
4.0000
cos ( x ) = - cos ( π - x )

0.1538
-17.0000
2.0000
d α = β γ , d β = γ α , d γ = α β .

0.1379
-16.0000
1.0000
cos ( A + B ) = cos ( A ) cos ( B ) + sin ( A ) sin ( B )

0.1379
-27.0000
2.0000
cos ( c R ) = cos ( a R ) cos ( b R ) + sin ( a R ) sin ( b R ) cos γ .

0.0971
-14.0000
5.0000
cos ( A - B ) = cos ( A ) cos ( B ) + sin ( A ) sin ( B )
cos ( θ - α ) = cos ( θ ) cos ( α ) + sin ( θ ) sin ( α )

0.0971
-15.0000
5.0000
cos ( c ) = cos ( a ) cos ( b ) + sin ( a ) sin ( b ) cos ( C )

0.0971
-16.0000
5.0000
cos ( c ) = cos ( a ) cos ( b ) + sin ( a ) sin ( b ) cos ( C ) .

0.0930
-4.0000
4.0000
α = 180 - β - γ

0.0930
-6.0000
1.0000
= cos 72 cos 18 - sin 72 sin 18

0.0930
-15.0000
1.0000
cos ( A - B ) = cos ( A ) cos ( B ) - sin ( A ) sin ( B )

0.0519
-15.0000
4.0000
cos ( A ± B ) = cos ( A ) cos ( B ) sin ( A ) sin ( B )
cos ( x ± y ) = cos ( x ) cos ( y ) sin ( x ) sin ( y )