OAI/Combinatorics/ContingencyTables/Counting/CountingTerminalBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Polynomial numeric bounds for the three terminal controls

  1. def OAI.ContingencyTables.CountingTerminalBounds.coefficientPolynomial line 11
  2. def OAI.ContingencyTables.CountingTerminalBounds.gridPolynomial line 12
  3. def OAI.ContingencyTables.CountingTerminalBounds.cutoffPolynomial line 13
  4. def OAI.ContingencyTables.CountingTerminalBounds.phasePolynomial line 14
  5. lemma OAI.ContingencyTables.CountingTerminalBounds.coefficient_bound line 16
  6. lemma OAI.ContingencyTables.CountingTerminalBounds.terminal_bounds line 26