OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FiniteBoxScale.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The retained counterterm has only a vertical truncation error. The seventy-second slab moment makes its matrix error small after amplification.

  1. theorem OAI.ContinuumCoulomb.finiteBoxSquaredError_box line 14
  2. theorem OAI.ContinuumCoulomb.finiteBoxSquaredError_polynomial line 48
  3. theorem OAI.ContinuumCoulomb.exists_finiteBoxResidual_parameter_offset line 78