OAI/Combinatorics/ThinTrees/Sparsification/HalfNumeric.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Half numeric.

  1. def OAI.AlgorithmicThinTrees.GraphicHalf.countError line 16
  2. def OAI.AlgorithmicThinTrees.GraphicHalf.nextCount line 18
  3. def OAI.AlgorithmicThinTrees.GraphicHalf.varianceBound line 20
  4. def OAI.AlgorithmicThinTrees.GraphicHalf.halfError line 21
  5. lemma OAI.AlgorithmicThinTrees.GraphicHalf.countError_bounds line 23
  6. lemma OAI.AlgorithmicThinTrees.GraphicHalf.halfError_ratio line 45
  7. structure OAI.AlgorithmicThinTrees.GraphicHalf.Numeric line 58
  8. lemma OAI.AlgorithmicThinTrees.GraphicHalf.eventual_numeric line 64
  9. lemma OAI.AlgorithmicThinTrees.GraphicHalf.rounding_bounds line 93
  10. lemma OAI.AlgorithmicThinTrees.GraphicHalf.nextCount_bounds line 116
  11. lemma OAI.AlgorithmicThinTrees.GraphicHalf.packing_numeric line 127
  12. lemma OAI.AlgorithmicThinTrees.GraphicHalf.half_ratio line 146
  13. lemma OAI.AlgorithmicThinTrees.GraphicHalf.normalized_size line 157