OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/GaussPhysicalCell.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The tensor Gauss rule on a physical three-dimensional cell. Normalized error estimates acquire the correct cell-volume factor.

  1. def OAI.ContinuumCoulomb.gaussCellAffine line 13
  2. def OAI.ContinuumCoulomb.gaussCellPullback line 15
  3. def OAI.ContinuumCoulomb.gaussPhysicalCell line 18
  4. def OAI.ContinuumCoulomb.physicalCellIntegral line 22
  5. theorem OAI.ContinuumCoulomb.integral_gaussCellAffine line 25
  6. theorem OAI.ContinuumCoulomb.physicalCellIntegral_eq_normalized line 34
  7. theorem OAI.ContinuumCoulomb.gaussPhysicalCell_error_of_normalized line 64
  8. theorem OAI.ContinuumCoulomb.gaussPhysicalCell_seventh_power_error line 75
  9. theorem OAI.ContinuumCoulomb.gaussPhysicalCells_error line 85