Recombination
includes
DeviceOperationState
includes
DensityElectrons
includes
DensityHoles
constant
recombination_coefficient
Show Notations
Languages
Arguments
Rendering
0
r
constant
recombination_rate
Show Notations
Languages
Arguments
Rendering
0
R
[
xn
:
ℝ
,
xp
:
ℝ
,
xφ_n
:
ℝ
,
xφ_p
:
ℝ
]
(
multiplication
(
multiplication
(
multiplication
(
r
xn
xp
)
xn
)
xp
)
(
bin_minus
1
(
exp
(
real_div
(
multiplication
q
(
bin_minus
xφ_n
xφ_p
)
)
(
multiplication
k_B
T
)
prf
)
)
)
)
http://cds.omdoc.org/urtheories?LambdaPi?lambda
xn
http://mathhub.info/MitM/numberfields?realnumbers?Realnumbers
xp
http://mathhub.info/MitM/numberfields?realnumbers?Realnumbers
xφ_n
http://mathhub.info/MitM/numberfields?realnumbers?Realnumbers
xφ_p
http://mathhub.info/MitM/numberfields?realnumbers?Realnumbers
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/Models/recombination?Recombination?recombination_coefficient
xn
xp
xn
xp
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?bin_minus
1
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/Models?Base?exp
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?real_div
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://mathhub.info/MitM/Models?PhysicalConstants?elementary_charge
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?bin_minus
xφ_n
xφ_p
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://mathhub.info/MitM/Models?PhysicalConstants?Boltzmann_constant
http://mathhub.info/MitM/Models/device?DeviceOperationState?temperatur
http://mathhub.info/MitM/Models/device?DeviceOperationState?prf
SpontaneousRecombination
includes
Recombination
constant
spontaneous_recombination_coefficient
Show Notations
Languages
Arguments
Rendering
0
B
constant
axiom_spontaneous