OAI/Combinatorics/SparsestCut/
820 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- CellInterface.lean 20 declarations
- ChartAngles.lean 7 declarations
- ChartKernel.lean 6 declarations
- ChartLinear.lean 19 declarations
- ChartMetric.lean 7 declarations
- CommonKernel.lean 9 declarations
- ConcreteCells.lean 16 declarations
- ContractionAverage.lean 1 declarations
- ContractionBounds.lean 25 declarations
- ContractionCore.lean 4 declarations
- CoordinateSplit.lean 15 declarations
- CubeGeometry.lean 17 declarations
- CubePoincare.lean 13 declarations
- CubeTransfer.lean 4 declarations
- CutDuality.lean 4 declarations
- CutSums.lean 22 declarations
- DirectionAsymptotics.lean 14 declarations
- DirectionFamily.lean 11 declarations
- DirectionInterpolation.lean 10 declarations
- Directions.lean 31 declarations
- EuclideanCells.lean 10 declarations
- FiniteDuality.lean 7 declarations
- FiniteGraph.lean 21 declarations
- FiniteNets.lean 5 declarations
- FiniteWeights.lean 28 declarations
- GapEstimates.lean 2 declarations
- GapReduction.lean 33 declarations
- GaussianCDF.lean 21 declarations
- GaussianNonparallel.lean 8 declarations
- GaussianPoincare.lean 11 declarations
- GaussianTools.lean 31 declarations
- GradientBudget.lean 18 declarations
- InterfaceStep.lean 20 declarations
- KernelApprox.lean 24 declarations
- LabelCount.lean 8 declarations
- LatticeDensity.lean 6 declarations
- Logarithms.lean 5 declarations
- Main.lean 1 declarations
- Metric.lean 11 declarations
- MetricKernel.lean 8 declarations
- Model.lean 7 declarations
- Mollifier.lean 32 declarations
- Parameters.lean 21 declarations
- PivotFamily.lean 10 declarations
- PositiveKernels.lean 9 declarations
- ProductSlice.lean 12 declarations
- Profiles.lean 14 declarations
- Replication.lean 21 declarations
- RoundedCharts.lean 36 declarations
- Semimetrics.lean 14 declarations
- SliceCoefficients.lean 4 declarations
- SliceIntegration.lean 4 declarations
- Smoothing.lean 10 declarations
- TriangleRepair.lean 36 declarations
- UniformMetric.lean 2 declarations
- UniformReplication.lean 2 declarations
- VertexCount.lean 2 declarations
- VertexMeasure.lean 11 declarations
- WeightNormalization.lean 6 declarations
- WeightReplacement.lean 16 declarations
- WeightReplication.lean 14 declarations
- WeightedMetric.lean 4 declarations