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