OAI/Combinatorics/KMedian/Compression/
332 declarations, 0 contain sorry, 0 declared as axioms; 44 files
Files
- AffineElimination.lean 6 declarations
- AffineKernel.lean 3 declarations
- AffineListCompiler.lean 9 declarations
- AffineListOperations.lean 28 declarations
- BoundedDependence.lean 1 declarations
- CircuitBitBound.lean 3 declarations
- CompressionBinaryProgram.lean 8 declarations
- CompressionBounds.lean 14 declarations
- CompressionListStep.lean 29 declarations
- ComputedAffineKernel.lean 3 declarations
- ComputedCompression.lean 4 declarations
- ComputedCompressionStep.lean 2 declarations
- ComputedElimination.lean 1 declarations
- ComputedIntegerKernel.lean 2 declarations
- ComputedPivot.lean 11 declarations
- DependentIntegerKernel.lean 2 declarations
- FinsetVectorExtension.lean 5 declarations
- FullIntegerKernel.lean 1 declarations
- GaussianBinaryProgram.lean 5 declarations
- GaussianCircuit.lean 6 declarations
- GaussianInputBounds.lean 13 declarations
- GaussianKernel.lean 6 declarations
- GaussianListCompiler.lean 11 declarations
- GaussianListMachine.lean 16 declarations
- GaussianListOperations.lean 22 declarations
- GaussianListPivot.lean 2 declarations
- GaussianListRun.lean 2 declarations
- GaussianListSemantics.lean 10 declarations
- GaussianListSize.lean 17 declarations
- GaussianResidualCertificate.lean 11 declarations
- GaussianResidualHeight.lean 4 declarations
- GaussianStates.lean 8 declarations
- GaussianTabulated.lean 6 declarations
- GramBounds.lean 4 declarations
- GramDependence.lean 2 declarations
- IntegerCoefficientBounds.lean 1 declarations
- IntegerKernelProgram.lean 14 declarations
- IntegerListProgram.lean 12 declarations
- IntegerRationalCompression.lean 2 declarations
- RationalCompression.lean 2 declarations
- RationalIntegerLaw.lean 4 declarations
- RationalKernelHeightSupport.lean 2 declarations
- RationalOperationHeight.lean 12 declarations
- RationalScaling.lean 6 declarations