Library
▹
Algebra
▹
Semirings
▹
Formulas
a
⋅
b
=
b
⋅
a
⇒ (
a
+
b
)
n
=
(∑
R
)
k
=
0
n
(
n
k
) ⋅
a
n
−
k
⋅
b
k
if
R
is a semiring,
a
,
b
∈
R
,
n
∈ ℕ
(
a
+
b
)
n
=
(∑
R
)
k
=
0
n
(
n
k
) ⋅
a
n
−
k
⋅
b
k
if
R
is a commutative semiring,
a
,
b
∈
R
,
n
∈ ℕ