OAI/Analysis/CoulombRadii/Variational/
307 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AtomicMasterUniform.lean 2 declarations
- Axis.lean 30 declarations
- ConfigurationDensity.lean 32 declarations
- ConfigurationSplit.lean 41 declarations
- CorrectionDensity.lean 30 declarations
- PhysicalBridge.lean 25 declarations
- PhysicalCoreMean.lean 2 declarations
- PhysicalDensityWeighted.lean 6 declarations
- PhysicalOffsetMean.lean 2 declarations
- PuncturedPosition.lean 20 declarations
- RetainedAnalyticSequence.lean 19 declarations
- RetainedMasterTransfer.lean 1 declarations
- SignAverage.lean 28 declarations
- WeakAdd.lean 3 declarations
- WeakLaplacian.lean 30 declarations
- WedgeInsert.lean 33 declarations
- WeightedNegative.lean 3 declarations