Charge
includes DeviceGeometry
includes DopingProfile
includes PoissonParameters
includes DensityElectrons
includes FermiPotentialElectrons
includes ElectrostaticPotential
includes DensityHoles
includes FermiPotentialHoles
constant total_charge Show Notations[x:Ω](multiplication(uminusq)(bin_minus(addition(Cx)(p(ψx)(φ_px)))(n(ψx)(φ_nx))))http://cds.omdoc.org/urtheories?LambdaPi?lambdaxhttp://mathhub.info/MitM/Models/device?DeviceGeometry?domainhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?uminushttp://mathhub.info/MitM/Models?PhysicalConstants?elementary_chargehttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?bin_minushttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?additionhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/device?DopingProfile?doping_profilexhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?DensityHoles?density_holeshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?ElectrostaticPotential?electrostatic_potentialxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?FermiPotentialHoles?quasi_Fermi_potentialxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?DensityElectrons?density_electronshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?ElectrostaticPotential?electrostatic_potentialxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?FermiPotentialElectrons?quasi_Fermi_potentialx