OAI/Combinatorics/KMedian/Preparation/
296 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AssignmentCopies.lean 5 declarations
- AssignmentRepair.lean 1 declarations
- CoupledGeometry.lean 7 declarations
- CoupledNoise.lean 2 declarations
- CoupledPreparation.lean 2 declarations
- CoupledReindex.lean 1 declarations
- CoupledWeights.lean 1 declarations
- DistantAssignments.lean 1 declarations
- NearbyAssignments.lean 1 declarations
- NearbyBall.lean 1 declarations
- NearestAssignmentGeometry.lean 5 declarations
- PreparationAssignments.lean 1 declarations
- PreparationClientAssignments.lean 1 declarations
- PreparationCostGeometry.lean 3 declarations
- PreparationDeficits.lean 6 declarations
- PreparationGrid.lean 1 declarations
- PreparationInner.lean 2 declarations
- PreparationMoments.lean 4 declarations
- PreparationNoise.lean 2 declarations
- PreparationOldCost.lean 1 declarations
- PreparationOutcome.lean 1 declarations
- PreparationOuter.lean 2 declarations
- PreparationParameters.lean 12 declarations
- PreparationRescaling.lean 3 declarations
- PreparationStars.lean 11 declarations
- PreparationSubsetNoise.lean 2 declarations
- PreparedDataOperations.lean 19 declarations
- PreparedKernelProgram.lean 11 declarations
- PreparedLawProgram.lean 21 declarations
- PreparedScanProgram.lean 20 declarations
- RationalPreparedScan.lean 5 declarations
- RationalRepresentatives.lean 4 declarations
- RationalSupplierPreparation.lean 13 declarations
- RationalSupplierScan.lean 11 declarations
- RepresentativeBundles.lean 2 declarations
- RepresentativeGeometry.lean 4 declarations
- RepresentativeProgram.lean 26 declarations
- RetainedActivations.lean 2 declarations
- SelectedPreparationOutcome.lean 1 declarations
- ShortfallByDeviation.lean 1 declarations
- SupplierAllocation.lean 5 declarations
- SupplierCharges.lean 5 declarations
- SupplierGeometry.lean 1 declarations
- SupplierListOperations.lean 23 declarations
- SupplierMap.lean 4 declarations
- SupplierPreparationProgram.lean 20 declarations
- SupplierScanProgram.lean 18 declarations
- SupportRepair.lean 1 declarations