Documentation

Papers.Rockel2026XiBlest.Main

Imports

Init
Papers.Rockel2026XiBlest.ClosedRegion
Papers.Rockel2026XiBlest.DensityTP2
Papers.Rockel2026XiBlest.ExtremalFamily
Papers.Rockel2026XiBlest.Normalization
Papers.Rockel2026XiBlest.NormalizationContinuity
Papers.Rockel2026XiBlest.OneDimensionalCoefficients
Papers.Rockel2026XiBlest.ParametricRegion
Papers.Rockel2026XiBlest.PolynomialCoefficients
Papers.Rockel2026XiBlest.RegionGeometry
Papers.Rockel2026XiBlest.RelaxedOptimization
Papers.Rockel2026XiBlest.RightBoundary
Papers.Rockel2026XiBlest.ShufflePath
Papers.Rockel2026XiBlest.StrictParameters
Papers.Rockel2026XiBlest.UniformLimits

Imported by

← Mathematical handbook

Rockel2026XiBlest: public results #

See COVERAGE.md for the exact verified subset and remaining obligations.