OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedResidualScale.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A numerical bound on the actual residual expression used by the full complement theorem, at the high-aspect slab parameters.

  1. theorem OAI.ContinuumCoulomb.manufacturedOrbitalSquaredError_tenthPower line 13
  2. theorem OAI.ContinuumCoulomb.manufacturedResidual_mesh_balance line 31