OAI/Analysis/TriangularHilbert/
930 declarations, 0 contain sorry, 0 declared as axioms; 105 files
Files
- AbsCost.lean 4 declarations
- BoundedBox.lean 8 declarations
- CompactMoment.lean 2 declarations
- ContinuumMesh.lean 4 declarations
- Coordinates.lean 14 declarations
- CostBlock.lean 8 declarations
- CubicApprox.lean 4 declarations
- CubicLimit.lean 2 declarations
- CubicProduct.lean 5 declarations
- CyclicCompact.lean 2 declarations
- CyclicDensity.lean 2 declarations
- CyclicHomogeneity.lean 9 declarations
- CyclicMaxMoment.lean 6 declarations
- CyclicMeasurable.lean 4 declarations
- CyclicNorm.lean 6 declarations
- CyclicSlice.lean 5 declarations
- DiscreteMax.lean 5 declarations
- DiscretePairing.lean 6 declarations
- DissipationAlgebra.lean 5 declarations
- EndpointContinuity.lean 4 declarations
- ErrorEnvelope.lean 11 declarations
- ErrorPairing.lean 4 declarations
- FiniteAbel.lean 3 declarations
- FiniteDual.lean 5 declarations
- FiniteLineMax.lean 10 declarations
- FiniteMoment.lean 12 declarations
- FiniteVitali.lean 1 declarations
- Gaussian.lean 12 declarations
- GaussianConvolution.lean 4 declarations
- GaussianDom.lean 12 declarations
- GaussianExpectation.lean 3 declarations
- GaussianGram.lean 2 declarations
- GaussianMax.lean 4 declarations
- GaussianMoments.lean 7 declarations
- GaussianRadial.lean 4 declarations
- GaussianTriple.lean 3 declarations
- GramDeriv.lean 13 declarations
- GridCell.lean 16 declarations
- GridLine.lean 5 declarations
- GroupedGaussian.lean 12 declarations
- HardPairing.lean 6 declarations
- HardScalar.lean 4 declarations
- HeatBound.lean 4 declarations
- HeatContinuous.lean 14 declarations
- HeatCost.lean 15 declarations
- HeatInsert.lean 10 declarations
- HeatStar.lean 16 declarations
- HeatTime.lean 7 declarations
- InitialAlgebra.lean 11 declarations
- InitialPlane.lean 4 declarations
- IntMax.lean 10 declarations
- IntStrong.lean 2 declarations
- IntWeak.lean 6 declarations
- IntegratedDissipation.lean 3 declarations
- IntervalMask.lean 3 declarations
- JointHeat.lean 3 declarations
- JointInsert.lean 6 declarations
- JointMeasurable.lean 2 declarations
- JumpScalar.lean 4 declarations
- Main.lean 4 declarations
- MaskedActual.lean 6 declarations
- MaskedDissipation.lean 8 declarations
- MassPlane.lean 8 declarations
- MatrixSupport.lean 207 declarations
- MeshFinite.lean 2 declarations
- MeshJump.lean 6 declarations
- MeshMass.lean 7 declarations
- Model.lean 9 declarations
- MomentPower.lean 3 declarations
- NormBounds.lean 10 declarations
- PlaneChart.lean 11 declarations
- PlaneDissipation.lean 12 declarations
- PlaneDom.lean 12 declarations
- PlaneIntegral.lean 13 declarations
- PlaneInterval.lean 2 declarations
- PlaneTime.lean 5 declarations
- Quantization.lean 11 declarations
- RankJump.lean 8 declarations
- RationalSup.lean 8 declarations
- SampledConvergence.lean 4 declarations
- SampledMoment.lean 4 declarations
- SampledOutput.lean 10 declarations
- SelectedScale.lean 10 declarations
- SignedCenter.lean 5 declarations
- SignedConvolution.lean 9 declarations
- SignedExpansion.lean 5 declarations
- SignedTraceOrder.lean 8 declarations
- SignedWindowScalar.lean 10 declarations
- SmoothFormula.lean 9 declarations
- SortedWindows.lean 9 declarations
- StarInsertion.lean 8 declarations
- StarJump.lean 4 declarations
- StarNorm.lean 9 declarations
- StrongLayer.lean 7 declarations
- Support.lean 15 declarations
- Switch.lean 7 declarations
- TotalJump.lean 5 declarations
- TraceWeights.lean 4 declarations
- TruncationCoordinates.lean 6 declarations
- WeightSlice.lean 5 declarations
- WeightedCompare.lean 7 declarations
- WeightedCubic.lean 5 declarations
- WeightedGram.lean 10 declarations
- WeightedStar.lean 16 declarations
- ZeroStar.lean 9 declarations