Reference
Lemmas behind operations-research checks
104 modules in src/rainbow/math/lemmas/. All folders
| Module | What it proves | Theorems |
|---|---|---|
| math.lemmas.abc-class | General lemmas: abc class. | 3 |
| math.lemmas.acf-bound | General lemmas: acf bound. | 2 |
| math.lemmas.aggplan-balance | General lemmas: aggplan balance. | 1 |
| math.lemmas.anova-readings | General lemmas: anova readings. | 1 |
| math.lemmas.assign-dual | General lemmas: assign dual. | 4 |
| math.lemmas.auc-readings | General lemmas: auc readings. | 3 |
| math.lemmas.auction-assignment | General lemmas: auction assignment. | 2 |
| math.lemmas.basestock-readings | General lemmas: basestock readings. | 1 |
| math.lemmas.battery-readings | General lemmas: battery readings. | 1 |
| math.lemmas.bb-leaf-bound | General lemmas: bb leaf bound. | 1 |
| math.lemmas.benders-cut | General lemmas: benders cut. | 2 |
| math.lemmas.bin-packing-bound | General lemmas: bin packing bound. | 1 |
| math.lemmas.borda | General lemmas: borda. | 7 |
| math.lemmas.bottleneck-assignment | General lemmas: bottleneck assignment. | 3 |
| math.lemmas.capital-ratio | General lemmas: capital ratio. | 1 |
| math.lemmas.capm-normal | General lemmas: capm normal. | 2 |
| math.lemmas.cashbudget-balance | General lemmas: cashbudget balance. | 1 |
| math.lemmas.cea-rule | General lemmas: cea rule. | 5 |
| math.lemmas.census-readings | General lemmas: census readings. | 1 |
| math.lemmas.chisq-readings | General lemmas: chisq readings. | 2 |
| math.lemmas.claimpay-readings | General lemmas: claimpay readings. | 2 |
| math.lemmas.clv-geometric | General lemmas: clv geometric. | 3 |
| math.lemmas.combined-ratio | General lemmas: combined ratio. | 1 |
| math.lemmas.cournot-readings | General lemmas: cournot readings. | 1 |
| math.lemmas.cover-cut | General lemmas: cover cut. | 2 |
| math.lemmas.cpm-makespan | General lemmas: cpm makespan. | 9 |
| math.lemmas.crash-readings | General lemmas: crash readings. | 1 |
| math.lemmas.credibility-readings | General lemmas: credibility readings. | 1 |
| math.lemmas.dc-power-flow | General lemmas: dc power flow. | 2 |
| math.lemmas.dea-efficiency | General lemmas: dea efficiency. | 2 |
| math.lemmas.durbin-bounds | General lemmas: durbin bounds. | 1 |
| math.lemmas.economic-dispatch | General lemmas: economic dispatch. | 5 |
| math.lemmas.edf-readings | General lemmas: edf readings. | 1 |
| math.lemmas.fcast-readings | General lemmas: fcast readings. | 4 |
| math.lemmas.fgt-order | General lemmas: fgt order. | 2 |
| math.lemmas.frankw-corner | General lemmas: frankw corner. | 1 |
| math.lemmas.fulfil-readings | General lemmas: fulfil readings. | 2 |
| math.lemmas.game-value | General lemmas: game value. | 5 |
| math.lemmas.gilmore-pricing | General lemmas: gilmore pricing. | 2 |
| math.lemmas.headway-wait | General lemmas: headway wait. | 3 |
| math.lemmas.hhi-bounds | General lemmas: hhi bounds. | 5 |
| math.lemmas.hungarian-bound | General lemmas: hungarian bound. | 1 |
| math.lemmas.incometax-readings | General lemmas: incometax readings. | 2 |
| math.lemmas.indep-set-dual | General lemmas: indep set dual. | 8 |
| math.lemmas.infnorm-abs | General lemmas: infnorm abs. | 1 |
| math.lemmas.ista-shrink | General lemmas: ista shrink. | 1 |
| math.lemmas.kmeans-nearest | General lemmas: kmeans nearest. | 3 |
| math.lemmas.knn-reading | General lemmas: knn reading. | 2 |
| math.lemmas.kstwo-range | General lemmas: kstwo range. | 4 |
| math.lemmas.lcr-floor | General lemmas: lcr floor. | 1 |
| math.lemmas.lp-duality | General lemmas: lp duality. | 1 |
| math.lemmas.lp-farkas | General lemmas: lp farkas. | 2 |
| math.lemmas.lp-ray | General lemmas: lp ray. | 2 |
| math.lemmas.lsq-optimal | General lemmas: lsq optimal. | 8 |
| math.lemmas.masshaul-readings | General lemmas: masshaul readings. | 1 |
| math.lemmas.matching-cover-duality | General lemmas: matching cover duality. | 3 |
| math.lemmas.max-closure | General lemmas: max closure. | 2 |
| math.lemmas.mccormick-sandwich | General lemmas: mccormick sandwich. | 3 |
| math.lemmas.mcf-optimal | General lemmas: mcf optimal. | 4 |
| math.lemmas.mctrans-step | General lemmas: mctrans step. | 1 |
| math.lemmas.minimax-regret | General lemmas: minimax regret. | 1 |
| math.lemmas.mmck-unique | General lemmas: mmck unique. | 5 |
| math.lemmas.mnl-assortment | General lemmas: mnl assortment. | 3 |
| math.lemmas.ncd-readings | General lemmas: ncd readings. | 1 |
| math.lemmas.ncyc-infeasible | General lemmas: ncyc infeasible. | 7 |
| math.lemmas.nmb-decision | General lemmas: nmb decision. | 2 |
| math.lemmas.nsfr-reading | General lemmas: nsfr reading. | 1 |
| math.lemmas.nvcost-readings | General lemmas: nvcost readings. | 1 |
| math.lemmas.odd-cycle-cut | General lemmas: odd cycle cut. | 8 |
| math.lemmas.oee-factors | General lemmas: oee factors. | 2 |
| math.lemmas.one-center | General lemmas: one center. | 6 |
| math.lemmas.payasbid-readings | General lemmas: payasbid readings. | 3 |
| math.lemmas.pcmax-lower-bound | General lemmas: pcmax lower bound. | 3 |
| math.lemmas.pfs-readings | General lemmas: pfs readings. | 1 |
| math.lemmas.pindex-readings | General lemmas: pindex readings. | 1 |
| math.lemmas.prf-readings | General lemmas: prf readings. | 3 |
| math.lemmas.projgrad-clamp | General lemmas: projgrad clamp. | 1 |
| math.lemmas.qp-kkt | General lemmas: qp kkt. | 11 |
| math.lemmas.rccp-readings | General lemmas: rccp readings. | 1 |
| math.lemmas.reservoir-readings | General lemmas: reservoir readings. | 1 |
| math.lemmas.rippl-readings | General lemmas: rippl readings. | 1 |
| math.lemmas.salesq-readings | General lemmas: salesq readings. | 2 |
| math.lemmas.sigtime-readings | General lemmas: sigtime readings. | 1 |
| math.lemmas.sir-readings | General lemmas: sir readings. | 2 |
| math.lemmas.slo-budget | General lemmas: slo budget. | 1 |
| math.lemmas.sproj-projection | General lemmas: sproj projection. | 1 |
| math.lemmas.sspol-readings | General lemmas: sspol readings. | 1 |
| math.lemmas.state-price | General lemmas: state price. | 3 |
| math.lemmas.stochastic-dominance | General lemmas: stochastic dominance. | 3 |
| math.lemmas.stoploss-bounds | General lemmas: stoploss bounds. | 1 |
| math.lemmas.subgrad-duality | General lemmas: subgrad duality. | 1 |
| math.lemmas.transport-dual | General lemmas: transport dual. | 3 |
| math.lemmas.trigg-bound | General lemmas: trigg bound. | 1 |
| math.lemmas.twoline-readings | General lemmas: twoline readings. | 1 |
| math.lemmas.ufl-gap | General lemmas: ufl gap. | 5 |
| math.lemmas.unifpx-readings | General lemmas: unifpx readings. | 1 |
| math.lemmas.vertex-cover-approx | General lemmas: vertex cover approx. | 1 |
| math.lemmas.vickrey-dsic | General lemmas: vickrey dsic. | 5 |
| math.lemmas.voter-readings | General lemmas: voter readings. | 2 |
| math.lemmas.wab-mean | General lemmas: wab mean. | 2 |
| math.lemmas.wage-readings | General lemmas: wage readings. | 1 |
| math.lemmas.weighted-cover-rounding | General lemmas: weighted cover rounding. | 1 |
| math.lemmas.weighted-median | General lemmas: weighted median. | 11 |
| math.lemmas.xol-readings | General lemmas: xol readings. | 2 |