OAI/MathematicalPhysics/ContinuumCoulomb/Reduction/CompatibleSlabMesh.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Compatible polynomial choices for the finite slab and nuclear mesh. The horizontal radius may grow as the tenth power of the slab height.

  1. theorem OAI.ContinuumCoulomb.finiteBoxOrbitalResidual_tenthPower_bound line 14
  2. theorem OAI.ContinuumCoulomb.nuclear_mesh_tenthPower_balance line 41