OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/
609 declarations, 0 contain sorry, 0 declared as axioms; 113 files
Files
- Cubature.lean 16 declarations
- DensitySynthesis.lean 16 declarations
- EulerApproximation.lean 5 declarations
- EulerGeometry.lean 4 declarations
- EulerInitialBox.lean 6 declarations
- EulerRegisters.lean 16 declarations
- EulerSchedule.lean 4 declarations
- EulerTrajectory.lean 5 declarations
- FlowActualBound.lean 1 declarations
- FlowActualFirstBound.lean 1 declarations
- FlowCompactExtension.lean 2 declarations
- FlowDeterminant.lean 1 declarations
- FlowFirstBound.lean 2 declarations
- FlowGlobalExistence.lean 2 declarations
- FlowGlobalRegularity.lean 4 declarations
- FlowHigherComposition.lean 1 declarations
- FlowImplicit.lean 3 declarations
- FlowIntervalUniqueness.lean 3 declarations
- FlowJacobianVariation.lean 1 declarations
- FlowJetCoordinates.lean 5 declarations
- FlowJetGronwall.lean 1 declarations
- FlowJetVariation.lean 1 declarations
- FlowLiouville.lean 2 declarations
- FlowLocal.lean 2 declarations
- FlowLocalBound.lean 1 declarations
- FlowLocalDomain.lean 2 declarations
- FlowLocalEquation.lean 1 declarations
- FlowLocalModel.lean 1 declarations
- FlowMatrix.lean 6 declarations
- FlowMixedDerivative.lean 2 declarations
- FlowPathEquation.lean 2 declarations
- FlowPathFamily.lean 2 declarations
- FlowPathJets.lean 4 declarations
- FlowSliceBound.lean 1 declarations
- FlowSpatialRegularity.lean 3 declarations
- FlowUniform.lean 3 declarations
- FlowVariational.lean 2 declarations
- GaussEightNodes.lean 6 declarations
- GaussGrid.lean 2 declarations
- GaussLocal.lean 11 declarations
- GaussLocalPositionCell.lean 3 declarations
- GaussPhysicalCell.lean 9 declarations
- GaussPositionCell.lean 7 declarations
- GaussTensorError.lean 12 declarations
- MoserBounds.lean 2 declarations
- MoserChargeBounds.lean 3 declarations
- MoserCoordinateDifferences.lean 9 declarations
- MoserDerivatives.lean 2 declarations
- MoserDifferenceBudget.lean 10 declarations
- MoserEndpoint.lean 3 declarations
- MoserFlow.lean 3 declarations
- MoserFlowRegularity.lean 3 declarations
- MoserFlux.lean 9 declarations
- MoserGridPotential.lean 1 declarations
- MoserIntegrability.lean 5 declarations
- MoserIntegralBound.lean 3 declarations
- MoserInverse.lean 3 declarations
- MoserJacobian.lean 5 declarations
- MoserNumericalBounds.lean 2 declarations
- MoserRegularity.lean 7 declarations
- MoserTransport.lean 2 declarations
- MoserUniformDensity.lean 3 declarations
- MoserUniformInverse.lean 3 declarations
- MoserUniformVelocity.lean 5 declarations
- MoserVelocityNumerics.lean 5 declarations
- NuclearCoordinateOutput.lean 16 declarations
- NuclearCoordinates.lean 5 declarations
- NuclearCross.lean 11 declarations
- NuclearCutoff.lean 9 declarations
- NuclearGridCoordinates.lean 8 declarations
- NuclearGridPotential.lean 6 declarations
- NuclearMeshBalance.lean 2 declarations
- NuclearMultiplier.lean 6 declarations
- NuclearNearEstimate.lean 4 declarations
- NuclearPacking.lean 2 declarations
- NuclearPerturbedComplement.lean 4 declarations
- NuclearPromise.lean 17 declarations
- NuclearQuadratureScale.lean 2 declarations
- NuclearRounding.lean 4 declarations
- NuclearTensorCompression.lean 3 declarations
- RoundedEuler.lean 6 declarations
- RoundingPolynomialBudget.lean 2 declarations
- SlabBoxResidual.lean 4 declarations
- SlabBoxSchedule.lean 14 declarations
- SlabConfinement.lean 12 declarations
- SlabCoordinates.lean 11 declarations
- SlabGrid.lean 2 declarations
- SlabHighAspectRatio.lean 5 declarations
- SlabInterior.lean 7 declarations
- SlabKernelEstimates.lean 5 declarations
- SlabLineFlatness.lean 2 declarations
- SlabLineIntegral.lean 11 declarations
- SlabMonotonicity.lean 5 declarations
- SlabOrbitalResidual.lean 8 declarations
- SlabOriginQuadrature.lean 12 declarations
- SlabOriginSchedule.lean 13 declarations
- SlabOriginValue.lean 11 declarations
- SlabPlanarIntegral.lean 10 declarations
- SlabPlanarTail.lean 14 declarations
- SlabPolynomialResidual.lean 3 declarations
- SlabProfile.lean 4 declarations
- SlabRegularity.lean 7 declarations
- SlabRegularization.lean 4 declarations
- SlabResidualScale.lean 6 declarations
- SlabSections.lean 23 declarations
- SlabVerticalCoordinates.lean 10 declarations
- TransportedCoulombDerivative.lean 4 declarations
- TransportedFarQuadrature.lean 6 declarations
- TransportedGrid.lean 3 declarations
- TransportedHybrid.lean 2 declarations
- TransportedNearForm.lean 2 declarations
- TransportedNearGrid.lean 3 declarations
- TransportedNodes.lean 7 declarations