OAI/Combinatorics/KMedian/Rounding/
362 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- ExactRounding.lean 1 declarations
- ExceptionalStar.lean 4 declarations
- GridClipping.lean 4 declarations
- GridDataProgram.lean 9 declarations
- GridEndpoint.lean 2 declarations
- GridRounding.lean 1 declarations
- GridRoundingProgram.lean 18 declarations
- IntegerSimplexProjection.lean 1 declarations
- MarginalRounding.lean 18 declarations
- RationalBatchData.lean 15 declarations
- RationalBatchEnumeration.lean 2 declarations
- RationalBatchFacts.lean 5 declarations
- RationalCopyTransition.lean 7 declarations
- RationalLastFraction.lean 10 declarations
- RationalPhysicalCount.lean 1 declarations
- RationalPhysicalDrift.lean 1 declarations
- RationalPhysicalGraph.lean 2 declarations
- RationalPhysicalGraphInstance.lean 1 declarations
- RationalPhysicalHistoryCount.lean 1 declarations
- RationalPhysicalHistoryDrift.lean 1 declarations
- RationalPhysicalHistorySurvival.lean 1 declarations
- RationalPhysicalInvariant.lean 4 declarations
- RationalPhysicalKernel.lean 16 declarations
- RationalPhysicalReplay.lean 8 declarations
- RationalPhysicalSurvival.lean 1 declarations
- RationalProposalBound.lean 1 declarations
- RationalProposalCount.lean 2 declarations
- RationalProposalSurvival.lean 1 declarations
- RationalRetain.lean 7 declarations
- RationalRoundEvents.lean 5 declarations
- RationalRoundParameters.lean 3 declarations
- RationalRounding.lean 1 declarations
- RationalSignedStep.lean 15 declarations
- RationalSignedTerminal.lean 8 declarations
- RationalTaper.lean 9 declarations
- RationalTaperAffine.lean 10 declarations
- RationalTaperCandidates.lean 5 declarations
- RationalTaperData.lean 5 declarations
- RationalTaperZero.lean 6 declarations
- RationalWeightedInvariants.lean 4 declarations
- RationalWeightedStep.lean 17 declarations
- SignedGridInvariant.lean 5 declarations
- SignedListOperations.lean 24 declarations
- SignedPreparationProgram.lean 39 declarations
- SignedRoundProgram.lean 8 declarations
- SignedTerminalProgram.lean 11 declarations
- TargetSubset.lean 1 declarations
- TargetSubsetProgram.lean 10 declarations
- UniformSplitRounding.lean 1 declarations
- WeightedGridInvariant.lean 9 declarations
- WeightedPartial.lean 1 declarations
- WeightedRounding.lean 20 declarations