OAI/Combinatorics/KMedian/Sparse/
496 declarations, 0 contain sorry, 0 declared as axioms; 86 files
Files
- SparseAffineMoments.lean 3 declarations
- SparseAlgorithm.lean 8 declarations
- SparseBernoulliFeatures.lean 12 declarations
- SparseBernoulliRun.lean 4 declarations
- SparseBernoulliSubsets.lean 3 declarations
- SparseBernoulliSupport.lean 4 declarations
- SparseBind.lean 8 declarations
- SparseBindProgram.lean 11 declarations
- SparseBoundedCount.lean 1 declarations
- SparseBoundedDrift.lean 1 declarations
- SparseBoundedSurvival.lean 1 declarations
- SparseBranchProgram.lean 6 declarations
- SparseBundleEncoding.lean 16 declarations
- SparseBundleLaw.lean 7 declarations
- SparseCardinalFixed.lean 2 declarations
- SparseCardinalRounding.lean 9 declarations
- SparseCompressProgram.lean 6 declarations
- SparseConditionalCount.lean 1 declarations
- SparseConditionalRoundDrift.lean 1 declarations
- SparseCountFeatures.lean 12 declarations
- SparseCountInstantiation.lean 1 declarations
- SparseCountRun.lean 9 declarations
- SparseCountStatistic.lean 9 declarations
- SparseCoupledPreparation.lean 3 declarations
- SparseDeletion.lean 4 declarations
- SparseEnumeratedBatch.lean 6 declarations
- SparseEnumeratedCount.lean 3 declarations
- SparseEnumeratedEstimate.lean 1 declarations
- SparseEnumeratedFrozen.lean 1 declarations
- SparseEnumeratedFull.lean 1 declarations
- SparseEnumeratedGraph.lean 8 declarations
- SparseEnumeratedGraphReal.lean 2 declarations
- SparseEnumeratedMixture.lean 3 declarations
- SparseEnumeratedSurvival.lean 3 declarations
- SparseFiltered.lean 6 declarations
- SparseGraphFeatures.lean 11 declarations
- SparseGraphLaw.lean 7 declarations
- SparseGraphReal.lean 2 declarations
- SparseGraphRun.lean 8 declarations
- SparseGridRounding.lean 12 declarations
- SparseGridZero.lean 2 declarations
- SparseHistories.lean 9 declarations
- SparseHistoryBounds.lean 3 declarations
- SparseIntegerLaw.lean 6 declarations
- SparseIterationHeight.lean 9 declarations
- SparseListTrim.lean 15 declarations
- SparseLocalBatch.lean 1 declarations
- SparseMap.lean 3 declarations
- SparseMapBind.lean 2 declarations
- SparseMarginal.lean 1 declarations
- SparseMarginalTools.lean 6 declarations
- SparseMixProgram.lean 3 declarations
- SparseMixture.lean 9 declarations
- SparseMomentAlgebra.lean 3 declarations
- SparseNonnegativeSupport.lean 1 declarations
- SparseOuterCounts.lean 8 declarations
- SparseOuterLaw.lean 10 declarations
- SparseOuterMoments.lean 8 declarations
- SparseOuterReal.lean 7 declarations
- SparsePhysicalBatch.lean 10 declarations
- SparsePhysicalCount.lean 1 declarations
- SparsePhysicalSurvival.lean 1 declarations
- SparsePreparedBudget.lean 7 declarations
- SparsePreparedLaw.lean 11 declarations
- SparsePreparedMoments.lean 6 declarations
- SparsePreparedProbability.lean 3 declarations
- SparseProduct.lean 8 declarations
- SparseProductProgram.lean 4 declarations
- SparseRealExpectation.lean 8 declarations
- SparseRealLaw.lean 7 declarations
- SparseReduction.lean 3 declarations
- SparseRescaledInner.lean 8 declarations
- SparseSelect.lean 5 declarations
- SparseSignedBudget.lean 6 declarations
- SparseSignedFixed.lean 2 declarations
- SparseSignedPartial.lean 9 declarations
- SparseSignedPreparation.lean 13 declarations
- SparseSignedRounding.lean 7 declarations
- SparseStarActivation.lean 8 declarations
- SparseSupplierSupport.lean 6 declarations
- SparseSupport.lean 4 declarations
- SparseSurvival.lean 3 declarations
- SparseTable.lean 5 declarations
- SparseTargetSubset.lean 12 declarations
- SparseWeightedPartial.lean 11 declarations
- SparseWeightedRounding.lean 6 declarations