BandstructureParameters
constant
effective_density_of_states_conduction_bands
Show Notations
Languages
Arguments
Rendering
0
N_c
constant
effective_density_of_states_valence_bands
Show Notations
Languages
Arguments
Rendering
0
N_v
constant
conduction_band_edge
Show Notations
Languages
Arguments
Rendering
0
E_c
constant
valence_band_edge
Show Notations
Languages
Arguments
Rendering
0
E_v
FermiPotentialElectrons
includes
DeviceGeometry
constant
quasi_Fermi_potential
Show Notations
Languages
Arguments
Rendering
0
φ_n
FermiPotentialHoles
includes
DeviceGeometry
constant
quasi_Fermi_potential
Show Notations
Languages
Arguments
Rendering
0
φ_p
ElectrostaticPotential
includes
DeviceGeometry
constant
electrostatic_potential
Show Notations
Languages
Arguments
Rendering
0
ψ
DensityElectrons
includes
DeviceOperationState
includes
PhysicalConstants
includes
BandstructureParameters
constant
density_electrons
Show Notations
Languages
Arguments
Rendering
0
n
(
unknown
[
y/2
,
x/1
,
I/0
]
[
x
:
x/1
,
y
:
y/2
x
]
(
multiplication
N_c
(
exp
(
real_div
(
bin_minus
(
multiplication
q
(
bin_minus
x
y
)
)
E_c
)
(
multiplication
k_B
T
)
(
I/0
x
y
)
)
)
)
)
http://cds.omdoc.org/mmt?mmt?unknown
y/2
x/1
I/0
http://cds.omdoc.org/urtheories?LambdaPi?lambda
x
x/1
y
http://cds.omdoc.org/urtheories?LambdaPi?apply
y/2
x
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://mathhub.info/MitM/Models/densities?BandstructureParameters?effective_density_of_states_conduction_bands
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?bin_minus
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
y
http://mathhub.info/MitM/Models/densities?BandstructureParameters?conduction_band_edge
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://cds.omdoc.org/urtheories?LambdaPi?apply
I/0
x
y
DensityHoles
includes
DeviceOperationState
includes
PhysicalConstants
includes
BandstructureParameters
constant
density_holes
Show Notations
Languages
Arguments
Rendering
0
p
(
unknown
[
y/2
,
x/1
,
I/0
]
[
x
:
x/1
,
y
:
y/2
x
]
(
multiplication
N_v
(
exp
(
real_div
(
addition
(
multiplication
q
(
bin_minus
y
x
)
)
E_v
)
(
multiplication
k_B
T
)
(
I/0
x
y
)
)
)
)
)
http://cds.omdoc.org/mmt?mmt?unknown
y/2
x/1
I/0
http://cds.omdoc.org/urtheories?LambdaPi?lambda
x
x/1
y
http://cds.omdoc.org/urtheories?LambdaPi?apply
y/2
x
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://mathhub.info/MitM/Models/densities?BandstructureParameters?effective_density_of_states_valence_bands
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?addition
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
y
x
http://mathhub.info/MitM/Models/densities?BandstructureParameters?valence_band_edge
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://cds.omdoc.org/urtheories?LambdaPi?apply
I/0
x
y