OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/NuclearQuadratureScale.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fourth-order cubature and the uncut orbital tail at the physical mesh R^-10. Constants are independent of the slab width and the site positions.

  1. theorem OAI.ContinuumCoulomb.nuclear_quadrature_physical_scale line 11
  2. theorem OAI.ContinuumCoulomb.manufactured_orbital_quadrature_physical_scale line 33