OAI/MathematicalPhysics/ContinuumCoulomb/Programs/
1392 declarations, 0 contain sorry, 0 declared as axioms; 91 files
Files
- AffinePhysicalThresholdProgram.lean 18 declarations
- AmplificationProgram.lean 30 declarations
- AutomaticCalibrationProgram.lean 15 declarations
- BisectionProgram.lean 17 declarations
- BisectionRegisters.lean 24 declarations
- CalibratedBisectionProgram.lean 14 declarations
- CalibratedContactProgram.lean 19 declarations
- CalibratedEvaluationProgram.lean 9 declarations
- CalibrationRationalBracketProgram.lean 4 declarations
- CappedKernelProgram.lean 15 declarations
- CenteredGaussProgram.lean 14 declarations
- CenteredNuclearProgram.lean 10 declarations
- CenteredPhysicalThresholdProgram.lean 18 declarations
- ChargePrograms.lean 27 declarations
- ContactCanonicalEdgeProgram.lean 17 declarations
- ContactEdgeNumberProgram.lean 10 declarations
- ContactGeometryBlockProgram.lean 28 declarations
- ContactHeightProgram.lean 24 declarations
- ContactHeightScheduleProgram.lean 9 declarations
- ContactLocalInputProgram.lean 18 declarations
- ContactPlacedGadgetProgram.lean 9 declarations
- ContactRationalGadgetProgram.lean 24 declarations
- ContactRationalPlaceProgram.lean 19 declarations
- ContactSourceInputProgram.lean 36 declarations
- ContactVertexProgram.lean 8 declarations
- CoulombEvaluationProgram.lean 22 declarations
- CoulombNormalizationProgram.lean 12 declarations
- CoulombPairProgram.lean 10 declarations
- CoulombPairSumProgram.lean 13 declarations
- CountertermProgram.lean 17 declarations
- DyadicRootProgram.lean 19 declarations
- EncodingPrograms.lean 22 declarations
- EnumeratedGridNuclei.lean 8 declarations
- EulerProgram.lean 22 declarations
- EulerVectorPrograms.lean 27 declarations
- FiniteDifferenceProgram.lean 10 declarations
- GaussNodeProgram.lean 27 declarations
- GaussianFrequencyProgram.lean 5 declarations
- GaussianPacketProgram.lean 13 declarations
- HoppingProgram.lean 8 declarations
- ManufacturedFieldProgram.lean 43 declarations
- ManufacturedVelocityProgram.lean 33 declarations
- MediatorListProgram.lean 52 declarations
- MediatorOffsetProgram.lean 11 declarations
- MediatorProgram.lean 38 declarations
- MediatorThreeStageProgram.lean 12 declarations
- MediatorUnaryProgram.lean 9 declarations
- MoserCoordinateProgram.lean 19 declarations
- MoserDifferenceProgram.lean 8 declarations
- NormalizationProgram.lean 8 declarations
- PhysicalNuclearProgram.lean 21 declarations
- PhysicalThresholdProgram.lean 18 declarations
- PiProgram.lean 11 declarations
- PlanarForcingProgram.lean 6 declarations
- PlanarWellProgram.lean 6 declarations
- PolynomialConstantBounds.lean 2 declarations
- PolynomialHoppingSmallness.lean 4 declarations
- PolynomialResidualBudget.lean 4 declarations
- PolynomialTimeSize.lean 7 declarations
- PolynomialUnaryBounds.lean 2 declarations
- PrefactorCalibrationProgram.lean 7 declarations
- PrefactorSourceContactProgram.lean 6 declarations
- PrefixListPrograms.lean 27 declarations
- PrefixPrograms.lean 15 declarations
- ProgramGroundIdentity.lean 2 declarations
- RationalExponentialProgram.lean 12 declarations
- RationalLogScaleProgram.lean 5 declarations
- RationalQuadratureProgram.lean 14 declarations
- RationalRectangleProgram.lean 11 declarations
- RationalSumProgram.lean 16 declarations
- RawCoulombMassBound.lean 2 declarations
- RawCoulombSample.lean 7 declarations
- RawCoulombSampleProgram.lean 20 declarations
- RawDensityModulus.lean 7 declarations
- RawDensitySample.lean 10 declarations
- RawDensitySampleProgram.lean 13 declarations
- SlabBoxProgram.lean 10 declarations
- SlabOriginProgram.lean 11 declarations
- SmoothTransitionProgram.lean 12 declarations
- SourceBranchProgram.lean 4 declarations
- SourceContactProgram.lean 14 declarations
- SourceMetadataProgram.lean 10 declarations
- SourceNormalizationProgram.lean 20 declarations
- SourceNuclearProgram.lean 15 declarations
- SourcePositiveProgram.lean 20 declarations
- SourcePrograms.lean 36 declarations
- SquareRootProgram.lean 21 declarations
- TransformedGaussProgram.lean 17 declarations
- UnitBinaryProgram.lean 18 declarations
- UnitCoulombProgram.lean 16 declarations
- VerticalCutoffProgram.lean 9 declarations