OAI/NumberTheory/CubicMoment/Theta/CubicThetaEnergyPoleValue.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Numerical evaluation of the arithmetic horizontal-energy pole.

  1. lemma OAI.CubicFirstMoment.cubicWhittakerEnergy_gamma_product line 12
  2. lemma OAI.CubicFirstMoment.cubicWhittakerEnergyMass_zero_explicit line 21
  3. lemma OAI.CubicFirstMoment.cubicThetaArithmeticEnergyResidue_value line 27
  4. theorem OAI.CubicFirstMoment.cubicThetaArithmeticFourierEnergy_residue_explicit line 43