OneParticle.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

This file declares nothing itself. It gathers the 432 imports below, so a file that imports it gets all of them.

Imports

OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.AbsoluteNuclearForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.AffinePhysicalOutput
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.AffinePhysicalThreshold
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ApproximateBisection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.AtomicOutputs
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.BoundedFormCross
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.BoundedPotentialOperator
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedBisection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedBisectionLocation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedBisectionMachine
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedBisectionSchedule
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedContactCorrectness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedEvaluationBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedEvaluationComponents
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedEvaluationError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedEvaluationParameters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedGraphError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedHoppingBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedLipschitzBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibratedMatrixError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationCoefficientError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationCoulombBrackets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationEndpointSigns
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationGraphBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationMesh
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationRationalBracket
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CalibrationSquareError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CappedCoulombKernel
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CappedCoulombMass
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CappedCoulombTruncation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CappedRawModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CappedWells
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CenteredGaussEquiv
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CenteredGaussLabels
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CenteredGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CenteredPhysicalThreshold
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalH1
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalResidualPairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalSlater
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalSlaterKinetic
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalSlaterSynthesis
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ClassicalTensor
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactCoulombJets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactCoulombSmooth
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactNuclearPairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactOrbitalDensity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactOrbitalNuclearError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactOrbitalQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactSobolevCore
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactSourceGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactSourcePairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CompactSourceTransport
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ComplexFormSplit
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ComplexMollification
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactAdjustment
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactBaseSeparation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactCalibratedGeometry
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactCalibrationScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactCanonicalEdge
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactClosedCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactDisplacement
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactEdgeNumber
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactExtent
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGadgetStability
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGadgets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGeometryBlockSemantics
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGlobal
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGlobalSeparation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactHeightBisection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactHeightBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactHeightEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactLattice
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactMediator
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactMediatorGeometry
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactMediatorLinks
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactPathBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactPolynomialGeometry
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactPositionArray
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactQuotientBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactRationalCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactRationalGadget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactRationalGlobal
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactRationalLocal
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactRealization
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactSourceGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactSourceInputCorrectness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactStrips
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ContactTemplates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoordinateLaplacian
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoreOrbitalCongruence
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoreOrbitalProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoreTensorFiber
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedComplement
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedCrossBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedCrossForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedDiagonalBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedManufacturedResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedNuclearError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedOneElectronProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedRemainderGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedResidualPairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CorrectedStateCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombCubeCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombCubeModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombEvaluationError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombEvaluationParameters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombFarCell
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombGram
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombGramApprox
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombInverseFifth
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombKernelHomogeneity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombKernelSmooth
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombNormalizationError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPacketCoercivity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPacketTests
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPackets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPairEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPairSum
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombPoisson
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombQuadratureBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombRawEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombSourceCubature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombTargetLipschitz
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombTargetRange
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CoulombTruncationSchedule
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CountertermEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CubeGeometry
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CubeIntegral
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.CubeMeasure
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.DiagonalPenalty
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.DirectionalFourthDerivative
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ExceptionalCellVolume
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ExplicitVerticalCutoff
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.FullSpinTensorCoefficients
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.FullTensorComplement
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianFrequency
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianJetBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianLine
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianMollification
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianPacket
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianPoincare
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GaussianScalar
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GraphCoefficientStability
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GridGroundUpper
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GridNodePrecision
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GridNuclei
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.GroundRoundingInterval
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.H1BoundedForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.H1FiniteProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.H1GraphCore
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.H1PairingBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HeatDensityModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HeatKernelModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HeatSampleError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HoppingBox
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HoppingQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HoppingSchedule
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.HydrogenInput
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.InverseFifthCutoffGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.InverseFifthGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.IsolatedForms
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.IsolatedPerturbation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.IsolatedSpectrum
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCorrectedMatrixError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCorrectedOneBody
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulomb
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombBox
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombLipschitz
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombNumerics
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombRadial
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombSymmetry
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCoulombTranslation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCountertermMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedCounterterms
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedDensityMoment
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedDualMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedDuality
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedFockStates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedFourIndex
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedGradientMoments
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedGram
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedGramConstants
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedGramSpacing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedGroundUpper
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedHigherMoments
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedHubbard
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedHubbardEntries
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedHubbardForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedHubbardTensor
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedLeakage
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedLinearCoulomb
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedLinearOrbitals
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedMatrixDecayBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedModeDerivatives
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedModes
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedMomentTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedMultiwellResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedNuclearHardy
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedOneBody
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedOneBodyMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedOrbitalGram
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedOverlapSpacing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedRawDensity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedSpinOperator
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedTensorResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedTransition
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedWellMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.LocalizedWellResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedCoercivity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedCompactQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedComplement
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedComplementBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedEuler
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedFarGrid
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedFieldBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedFieldEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedFrequency
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGapScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGridError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGridGroundComparison
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGridParameters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGridWitness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedGrowingGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedHubbardComparison
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedManyElectron
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedNuclearComparison
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedNuclearForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedNuclearTensorLower
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedOneElectronGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedOrbitalNuclearError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedOrbitalResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedPolynomialComparison
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedPreciseResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedProjectedLower
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedResidualGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedResidualMajorant
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedResidualPairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedResidualParameters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedResidualScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedScalarParameters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedScaleThreshold
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedSlabLower
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTensorCoercivity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTensorDiagonal
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTensorGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTensorLower
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTensorProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedTransport
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedUniformComparison
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedUniformFlow
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedUniformGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedVelocityEvaluation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedWeakResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ManufacturedWellField
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.MixedSlater
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.MovingWells
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.NormalizationArithmetic
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.NormalizationQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.NormalizationSchedule
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.NumericalGridRounding
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.NumericalSquare
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneBodyScaleBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronClosure
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronComplexLaplacian
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronFormDecomposition
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronProjectedLower
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OneElectronTrial
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalBasisExtension
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalCellVolume
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalComplementCount
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalCutoff
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalCutoffTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalDerivative
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalGraphBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalJetBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalNuclearTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.OrbitalTensor
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarCompactnessEstimates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarCutoffTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarDistributionAxes
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarExponentialEnvelope
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarFieldBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarForcing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarForcingModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarFrameBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGapFromUniqueness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGradientMoments
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGroundDuality
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGroundIdentity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGroundTransform
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarGroundUniqueness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatBoxBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatBoxCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatDifferential
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatEvolution
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatKernel
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatLimit
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatTimeModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHeatTruncation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHopping
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarHoppingBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarIMS
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarIMSBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarLaplaceIBP
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarLocalization
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarLowerTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeDecay
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeDerivatives
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeEnergy
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeH1
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeJets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarModeProperties
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarMultiwellGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarMultiwellMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarMultiwellProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarMultiwellScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarNearGroundCompactness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarNormalizationBox
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarNormalizationTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarNormalized
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarOverlap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarPartition
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarPolynomialScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarProjectionGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarRadial
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarResolvent
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarResolventEquation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarResolventModulus
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarResolventTails
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarScaleChoice
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSharpDecay
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSiteCutoffs
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSliceProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSobolev
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSobolevDuality
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarSpectralInput
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarTestCauchy
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarTranslatedGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarUniformCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWeakConstant
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWellBottom
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWellLocalization
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWellMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWellNumerics
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PlanarWellOverlap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PrefactorCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PrefactorSourceCalibration
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PrefactorSourceContactCorrectness
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.PrefactorSpacing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalBoxRound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalClamp
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalContactBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalContactMatrix
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalExponential
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalFieldDifferences
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalGaussNodes
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalHeatBox
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalHeatPlaneError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalHeatSample
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalLogScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalResolventError
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalSixQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalSmoothTransition
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalSquareRoot
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalTaylorRegisters
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RationalTripleQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RayleighGround
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RealMollification
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RealOneElectronState
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RealOrbitalResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RealSpinOrbitals
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.RectangleQuadrature
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ResolventNumericalBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ResolventSchedule
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ScalarMollification
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ScalarScaleBudgets
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ScaledNuclearNear
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SeparatedNuclearNear
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SharpBlockPerturbation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ShiftedHubbardBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ShiftedPhysicalForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SingleSpinSource
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SlowLogarithmicExtent
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SmoothCutoffApproximation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SobolevDensity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SobolevDensityInput
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitCoordinates
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitFormIdentity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitFormIntegrals
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitFrameBound
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitIntegratedBounds
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitProjectionBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitProjectionPairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitPullback
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitSpectralBudget
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.SplitTestFunctions
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.TM2Composition
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ThirdOrderBottom
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ThirdOrderPerturbation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.ThirdOrderScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.TransformedGauss
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.TransformedGaussList
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.TransformedGaussSeparation
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.TruncatedNuclearForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.UnitBinaryInclusion
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.UnitProgramGroundInterval
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalCappedForm
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalCappedGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalCappedScale
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalCutoffTail
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalEnergy
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalFactorization
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalMode
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalOscillatorGap
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalResidual
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalSliceProjection
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.VerticalSpectralInput
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WeakComplexLaplacian
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WeakH1Laplacian
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WeakH1Pairing
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WellCapDerivatives
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WellCapRegularity
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WellCover
OAI.MathematicalPhysics.ContinuumCoulomb.OneParticle.WellFieldOrbitalResidual

Imported by 1 file

OAI/MathematicalPhysics/ContinuumCoulomb/Main.lean