• Mobilities
    constant mobility_electrons Show Notations
    LanguagesArgumentsRendering
    0μ_n
    constant mobility_holes Show Notations
    LanguagesArgumentsRendering
    0μ_p
  • CurrentElectrons
    includes FermiPotentialElectrons
    includes ElectrostaticPotential
    includes DensityElectrons
    includes Mobilities
    constant current_electrons Show Notations
    LanguagesArgumentsRendering
    3j_nabc
    [P:ℝ→bool]([f:(pred_as_subP)→ℝ,g:(pred_as_subP)→ℝ]([x:pred_as_subP](multiplication(multiplication(multiplication(uminusq)μ_n)(n(fx)(gx)))((der([z:ℝ](Pz))g)x))))http://cds.omdoc.org/urtheories?LambdaPi?lambdaPhttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://mathhub.info/MitM/Foundation?Logic?boolhttp://cds.omdoc.org/urtheories?LambdaPi?lambdafhttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbersghttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://cds.omdoc.org/urtheories?LambdaPi?lambdaxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://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://mathhub.info/MitM/Models/continuity?Mobilities?mobility_electronshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?DensityElectrons?density_electronshttp://cds.omdoc.org/urtheories?LambdaPi?applyfxhttp://cds.omdoc.org/urtheories?LambdaPi?applygxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models?Base?derhttp://cds.omdoc.org/urtheories?LambdaPi?lambdazhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://cds.omdoc.org/urtheories?LambdaPi?applyPzgx
  • CurrentHoles
    includes FermiPotentialHoles
    includes ElectrostaticPotential
    includes DensityHoles
    includes Mobilities
    constant current_holes Show Notations
    LanguagesArgumentsRendering
    3j_pabc
    [P:ℝ→bool]([f:(pred_as_subP)→ℝ,g:(pred_as_subP)→ℝ]([x:pred_as_subP](multiplication(multiplication(multiplication(uminusq)μ_p)(p(fx)(gx)))((der([z:ℝ](Pz))g)x))))http://cds.omdoc.org/urtheories?LambdaPi?lambdaPhttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://mathhub.info/MitM/Foundation?Logic?boolhttp://cds.omdoc.org/urtheories?LambdaPi?lambdafhttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbersghttp://cds.omdoc.org/urtheories?LambdaPi?arrowhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://cds.omdoc.org/urtheories?LambdaPi?lambdaxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?pred_as_subPhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://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://mathhub.info/MitM/Models/continuity?Mobilities?mobility_holeshttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/densities?DensityHoles?density_holeshttp://cds.omdoc.org/urtheories?LambdaPi?applyfxhttp://cds.omdoc.org/urtheories?LambdaPi?applygxhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models?Base?derhttp://cds.omdoc.org/urtheories?LambdaPi?lambdazhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://cds.omdoc.org/urtheories?LambdaPi?applyPzgx
  • ContinuityEquationElectrons
    includes CurrentElectrons
    includes DensityHoles
    includes FermiPotentialHoles
    includes Recombination
    includes ElectrostaticPotential
    constant continuity_equation_electrons
  • ContinuityEquationHoles
    includes CurrentHoles
    includes DensityElectrons
    includes FermiPotentialElectrons
    includes Recombination
    includes ElectrostaticPotential
    constant continuity_equation_holes
  • ContinuityBoundaryConditionsElectrons
    includes DeviceOperationState
    constant potential_top Show Notations
    LanguagesArgumentsRendering
    0φ_n_1
    U_1http://mathhub.info/MitM/Models/device?DeviceOperationState?voltage_bottom
    constant potential_bottom Show Notations
    LanguagesArgumentsRendering
    0φ_n_2
    U_2http://mathhub.info/MitM/Models/device?DeviceOperationState?voltage_top
  • ContinuityBoundaryConditionsHoles
    includes DeviceOperationState
    constant potential_top Show Notations
    LanguagesArgumentsRendering
    0φ_p_1
    U_1http://mathhub.info/MitM/Models/device?DeviceOperationState?voltage_bottom
    constant potential_bottom Show Notations
    LanguagesArgumentsRendering
    0φ_p_2
    U_2http://mathhub.info/MitM/Models/device?DeviceOperationState?voltage_top