OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FiniteDifferenceError.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform finite-difference error estimates including error in function values. They will be applied to coordinate lines of the explicit C6 field.

  1. theorem OAI.ContinuumCoulomb.FiniteDifferenceError.linear_remainder line 11
  2. theorem OAI.ContinuumCoulomb.FiniteDifferenceError.forward_difference line 27
  3. theorem OAI.ContinuumCoulomb.FiniteDifferenceError.centered_remainder line 48
  4. theorem OAI.ContinuumCoulomb.FiniteDifferenceError.centered_difference line 76