OAI/Combinatorics/KMedian/Geometry/

Files

• BoundFreeCompression.lean 10 declarations
• BundleRounding.lean 1 declarations
• ChunkCharges.lean 5 declarations
• ComputedInstanceAlgorithm.lean 4 declarations
• ComputedRationalCompression.lean 5 declarations
• FilteredMoments.lean 1 declarations
• FixedBatchTransition.lean 19 declarations
• GraphComparison.lean 12 declarations
• GraphLaw.lean 5 declarations
• GraphListOperations.lean 20 declarations
• GraphMoments.lean 6 declarations
• GraphRunHeight.lean 4 declarations
• GreedyCompletion.lean 1 declarations
• GreedyPacking.lean 3 declarations
• IntegerBranching.lean 7 declarations
• ListSigma.lean 3 declarations
• MomentAnalysis.lean 16 declarations
• NearestFillingFormula.lean 10 declarations
• NearestFractional.lean 2 declarations
• NearestReindex.lean 4 declarations
• PotentialBounds.lean 8 declarations
• RationalAllParameters.lean 2 declarations
• RationalBrackets.lean 2 declarations
• RationalBundleGeometry.lean 8 declarations
• RationalCompletedCost.lean 4 declarations
• RationalFractionalInput.lean 11 declarations
• RationalFractionalScan.lean 2 declarations
• RationalGeometryScan.lean 3 declarations
• RationalGridRound.lean 7 declarations
• RationalHistoryCompletion.lean 3 declarations
• RationalHistorySelection.lean 3 declarations
• RationalHistoryValid.lean 2 declarations
• RationalImageCost.lean 2 declarations
• RationalIndexedCost.lean 2 declarations
• RationalInstanceCost.lean 8 declarations
• RationalIntervals.lean 12 declarations
• RationalNearestCopies.lean 4 declarations
• RationalParameterizedHistory.lean 10 declarations
• RationalSparseTaper.lean 2 declarations
• RationalSplitEnumeration.lean 11 declarations
• RationalSplitInput.lean 4 declarations
• RationalSplitting.lean 15 declarations
• RationalUnitInput.lean 8 declarations
• RationalUnitScan.lean 3 declarations
• SortedListEncoding.lean 3 declarations
• TimeAdvance.lean 11 declarations
• TrimIntegerLaw.lean 5 declarations
• UniformDrift.lean 2 declarations