OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/GaussEightNodes.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Identify tensor quadrature with the actual eight equal point masses and with the already separated Gauss lattice used by the nuclear construction.

  1. def OAI.ContinuumCoulomb.gaussNodeTriple line 13
  2. theorem OAI.ContinuumCoulomb.gaussTensor3_eq_node_sum line 19
  3. theorem OAI.ContinuumCoulomb.positionCellGauss_eq_node_sum line 29
  4. def OAI.ContinuumCoulomb.gaussCellCenter line 36
  5. theorem OAI.ContinuumCoulomb.cubePoint_gaussLatticePoint line 39
  6. theorem OAI.ContinuumCoulomb.gaussCell_quadrature_lattice line 45