OAI/Analysis/CoulombRadii/Packets/
385 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- AnnularAddback.lean 12 declarations
- AnnularIMS.lean 9 declarations
- AtomicMesh.lean 16 declarations
- AtomicSmallPatch.lean 3 declarations
- BandOscillation.lean 5 declarations
- ComplexWindow.lean 7 declarations
- CoreScreenedFieldPacketIntegral.lean 2 declarations
- CoulombKernel.lean 38 declarations
- CoulombKernelFiveHalvesIntegrable.lean 10 declarations
- FineKernelShiftCoulombIntegrable.lean 10 declarations
- FineNear.lean 4 declarations
- InnerMeshCap.lean 10 declarations
- InverseErrorScale.lean 9 declarations
- InverseGeometry.lean 2 declarations
- KernelCenterMass.lean 4 declarations
- KernelScale.lean 10 declarations
- LipschitzMollifier.lean 1 declarations
- MasterKernel.lean 1 declarations
- MasterKernelDuality.lean 1 declarations
- MasterNewton.lean 6 declarations
- MasterTruncatedCap.lean 3 declarations
- MeshInverseDeterministic.lean 5 declarations
- NearLpCoulomb.lean 5 declarations
- NormalizedBandModulus.lean 7 declarations
- NormalizedInversePoint.lean 6 declarations
- OrbitalKernel.lean 6 declarations
- OriginalPotentialTower.lean 7 declarations
- PacketBandGeometry.lean 3 declarations
- PacketBridge.lean 19 declarations
- PacketDensity.lean 12 declarations
- PacketDensityReal.lean 4 declarations
- PacketIndex.lean 12 declarations
- PacketStateJointSquareIntegrable.lean 2 declarations
- PacketSynthesis.lean 3 declarations
- PacketSynthesisIndicator.lean 8 declarations
- PacketWidthScalar.lean 3 declarations
- PacketWindowed.lean 17 declarations
- PatchKernelDuality.lean 8 declarations
- PatchPacketResponse.lean 4 declarations
- PhysicalInteriorTransfer.lean 3 declarations
- PhysicalInverseCap.lean 1 declarations
- PhysicalRetainedDatum.lean 1 declarations
- PhysicalRetainedMean.lean 5 declarations
- PhysicalSimultaneousInverse.lean 1 declarations
- RadialRMS.lean 7 declarations
- RawMasterNewton.lean 7 declarations
- RetainedInverseOffset.lean 5 declarations
- ScaledWindow.lean 20 declarations
- ScreenBox.lean 17 declarations
- SimultaneousInverseScale.lean 2 declarations
- TailMoment.lean 11 declarations
- WindowCoulomb.lean 11 declarations