DensityElectrons
includes DeviceOperationState
includes PhysicalConstants
includes BandstructureParameters
constant density_electrons Show Notations(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