OAI/Combinatorics/ContingencyTables/Counting/CountingControlBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Polynomial bounds for the observation and precision controls

  1. def OAI.ContingencyTables.CountingControlBounds.observationPolynomial line 13
  2. def OAI.ContingencyTables.CountingControlBounds.returnPolynomial line 15
  3. def OAI.ContingencyTables.CountingControlBounds.largePolynomial line 16
  4. def OAI.ContingencyTables.CountingControlBounds.precisionPolynomial line 17
  5. lemma OAI.ContingencyTables.CountingControlBounds.half_inverse_le line 20
  6. lemma OAI.ContingencyTables.CountingControlBounds.observations_bound line 25
  7. lemma OAI.ContingencyTables.CountingControlBounds.return_bound line 45
  8. lemma OAI.ContingencyTables.CountingControlBounds.precision_bound line 53