• BandstructureParameters
    constant effective_density_of_states_conduction_bands Show Notations
    LanguagesArgumentsRendering
    0N_c
    constant effective_density_of_states_valence_bands Show Notations
    LanguagesArgumentsRendering
    0N_v
    constant conduction_band_edge Show Notations
    LanguagesArgumentsRendering
    0E_c
    constant valence_band_edge Show Notations
    LanguagesArgumentsRendering
    0E_v
  • FermiPotentialElectrons
    includes DeviceGeometry
    constant quasi_Fermi_potential Show Notations
    LanguagesArgumentsRendering
    0φ_n
  • FermiPotentialHoles
    includes DeviceGeometry
    constant quasi_Fermi_potential Show Notations
    LanguagesArgumentsRendering
    0φ_p
  • ElectrostaticPotential
    includes DeviceGeometry
    constant electrostatic_potential Show Notations
    LanguagesArgumentsRendering
    0ψ
  • DensityElectrons
    includes DeviceOperationState
    includes PhysicalConstants
    includes BandstructureParameters
    constant density_electrons Show Notations
    LanguagesArgumentsRendering
    0n
    (unknown[y/2,x/1,I/0][x:x/1,y:y/2x](multiplicationN_c(exp(real_div(bin_minus(multiplicationq(bin_minusxy))E_c)(multiplicationk_BT)(I/0xy)))))http://cds.omdoc.org/mmt?mmt?unknowny/2x/1I/0http://cds.omdoc.org/urtheories?LambdaPi?lambdaxx/1yhttp://cds.omdoc.org/urtheories?LambdaPi?applyy/2xhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models/densities?BandstructureParameters?effective_density_of_states_conduction_bandshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models?Base?exphttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?real_divhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?bin_minushttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models?PhysicalConstants?elementary_chargehttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?bin_minusxyhttp://mathhub.info/MitM/Models/densities?BandstructureParameters?conduction_band_edgehttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models?PhysicalConstants?Boltzmann_constanthttp://mathhub.info/MitM/Models/device?DeviceOperationState?temperaturhttp://cds.omdoc.org/urtheories?LambdaPi?applyI/0xy
  • DensityHoles
    includes DeviceOperationState
    includes PhysicalConstants
    includes BandstructureParameters
    constant density_holes Show Notations
    LanguagesArgumentsRendering
    0p
    (unknown[y/2,x/1,I/0][x:x/1,y:y/2x](multiplicationN_v(exp(real_div(addition(multiplicationq(bin_minusyx))E_v)(multiplicationk_BT)(I/0xy)))))http://cds.omdoc.org/mmt?mmt?unknowny/2x/1I/0http://cds.omdoc.org/urtheories?LambdaPi?lambdaxx/1yhttp://cds.omdoc.org/urtheories?LambdaPi?applyy/2xhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models/densities?BandstructureParameters?effective_density_of_states_valence_bandshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models?Base?exphttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?real_divhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?additionhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models?PhysicalConstants?elementary_chargehttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?bin_minusyxhttp://mathhub.info/MitM/Models/densities?BandstructureParameters?valence_band_edgehttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://mathhub.info/MitM/Models?PhysicalConstants?Boltzmann_constanthttp://mathhub.info/MitM/Models/device?DeviceOperationState?temperaturhttp://cds.omdoc.org/urtheories?LambdaPi?applyI/0xy