OAI/Combinatorics/MatchingPSD/
589 declarations, 0 contain sorry, 0 declared as axioms; 66 files
Files
- AdmissiblePoints.lean 2 declarations
- AdmissibleTables.lean 15 declarations
- AffineCertificate.lean 1 declarations
- AffineFactorization.lean 2 declarations
- AffineLift.lean 1 declarations
- AffineModel.lean 3 declarations
- AffineSlacks.lean 3 declarations
- AffineSums.lean 2 declarations
- BitTests.lean 4 declarations
- CellAverages.lean 6 declarations
- CellDecoder.lean 9 declarations
- CellLowerBound.lean 4 declarations
- ColorPolynomials.lean 6 declarations
- ColoringCounts.lean 30 declarations
- CommonSelection.lean 3 declarations
- CrossSelection.lean 1 declarations
- CutGeometry.lean 10 declarations
- DeterminantNormalization.lean 10 declarations
- DiagonalCone.lean 1 declarations
- DominationDecoder.lean 1 declarations
- EdgeMonomials.lean 17 declarations
- EdgeProducts.lean 8 declarations
- EquivariantCompression.lean 12 declarations
- FiberAverages.lean 6 declarations
- FiniteFactorization.lean 9 declarations
- GlobalGeometry.lean 15 declarations
- GoodCells.lean 5 declarations
- IncidenceKernels.lean 18 declarations
- Involutions.lean 8 declarations
- Main.lean 2 declarations
- MatchingConversion.lean 12 declarations
- MatchingFibers.lean 22 declarations
- MatchingIncidence.lean 12 declarations
- MatrixAverages.lean 12 declarations
- MatrixBounds.lean 4 declarations
- MatrixInterpolation.lean 10 declarations
- Model.lean 11 declarations
- NormalizedFactors.lean 3 declarations
- NumericalBounds.lean 5 declarations
- OrthogonalCone.lean 3 declarations
- PSDCompression.lean 6 declarations
- PSDDuality.lean 6 declarations
- PSDEvaluation.lean 3 declarations
- PSDTopology.lean 2 declarations
- Padding.lean 6 declarations
- Pairings.lean 42 declarations
- Parameters.lean 8 declarations
- PartialColorings.lean 10 declarations
- PermutationSmoothing.lean 12 declarations
- PolynomialInterpolation.lean 27 declarations
- PolynomialSpaces.lean 11 declarations
- RepresentationDimension.lean 15 declarations
- ScalarSmoothing.lean 6 declarations
- SequentialTests.lean 13 declarations
- SimultaneousSmoothing.lean 2 declarations
- SpectralContraction.lean 5 declarations
- SpectralMultiplicity.lean 4 declarations
- SquareRootDisturbance.lean 9 declarations
- TableCoordinates.lean 14 declarations
- TableGeometry.lean 5 declarations
- TableMoments.lean 28 declarations
- TablePolynomials.lean 6 declarations
- TensorBounds.lean 11 declarations
- TightMatchings.lean 3 declarations
- TransitionMatrices.lean 14 declarations
- TypeProbabilities.lean 13 declarations