OAI/Combinatorics/ContingencyTables/Rooted/
1984 declarations, 0 contain sorry, 0 declared as axioms; 169 files
Files
- ComputedForestCode.lean 2 declarations
- ComputedLargeForest.lean 12 declarations
- ComputedRootedInput.lean 13 declarations
- ForestAffineCoefficients.lean 12 declarations
- ForestAffineCompletion.lean 7 declarations
- ForestAffineProgram.lean 25 declarations
- ForestAssignmentSplit.lean 6 declarations
- ForestBoxCardinality.lean 4 declarations
- ForestCapacity.lean 8 declarations
- ForestCountIdentification.lean 8 declarations
- ForestCut.lean 11 declarations
- ForestEdgeChoiceProgram.lean 18 declarations
- ForestGreedyProgram.lean 31 declarations
- ForestGreedySemantics.lean 17 declarations
- ForestIntegerEvaluation.lean 14 declarations
- ForestJoinProgram.lean 20 declarations
- ForestLargeMarginal.lean 5 declarations
- ForestLiteralCount.lean 16 declarations
- ForestPenaltyApplication.lean 19 declarations
- ForestPenaltyBound.lean 2 declarations
- ForestPenaltyProgram.lean 25 declarations
- ForestPhysicalCompletion.lean 13 declarations
- ForestRootPenalty.lean 16 declarations
- ForestScaledBounds.lean 9 declarations
- ForestScaledIdentification.lean 7 declarations
- ForestScaledPenalty.lean 15 declarations
- LargeEdgeCatalogProgram.lean 24 declarations
- LargeMarginProgram.lean 18 declarations
- LargeMarginReference.lean 9 declarations
- LargeMarginSemantics.lean 7 declarations
- LargePairEnumeration.lean 14 declarations
- MaximumForest.lean 15 declarations
- MaximumForestExchange.lean 7 declarations
- RootedAffine.lean 8 declarations
- RootedAnnealing.lean 8 declarations
- RootedArithmeticStep.lean 9 declarations
- RootedBinDrawLaw.lean 18 declarations
- RootedBinFramesProgram.lean 31 declarations
- RootedBooleanKernel.lean 17 declarations
- RootedBooleanPhase.lean 5 declarations
- RootedCappedReturn.lean 4 declarations
- RootedCatalogGrid.lean 12 declarations
- RootedCatalogStep.lean 9 declarations
- RootedCatalogWalk.lean 3 declarations
- RootedCellDataProgram.lean 30 declarations
- RootedCoefficientProgram.lean 25 declarations
- RootedCompletion.lean 20 declarations
- RootedComponentCode.lean 15 declarations
- RootedComponentProgram.lean 25 declarations
- RootedComponentSemantics.lean 6 declarations
- RootedComputedEstimator.lean 9 declarations
- RootedConcentration.lean 4 declarations
- RootedCorrectionArithmetic.lean 7 declarations
- RootedCorrectionProgram.lean 35 declarations
- RootedCorrectionSampleLaw.lean 7 declarations
- RootedCorrectionSampleProgram.lean 23 declarations
- RootedCorrectionSamples.lean 7 declarations
- RootedCorrectionSemantics.lean 9 declarations
- RootedCountIdentification.lean 7 declarations
- RootedCountingAmplification.lean 4 declarations
- RootedCountingSchedule.lean 7 declarations
- RootedCountingWords.lean 6 declarations
- RootedCut.lean 12 declarations
- RootedCutReindex.lean 5 declarations
- RootedDemandProgram.lean 49 declarations
- RootedEstimatorAmplification.lean 3 declarations
- RootedEstimatorBlockProgram.lean 21 declarations
- RootedEstimatorConfidence.lean 4 declarations
- RootedEstimatorExecution.lean 9 declarations
- RootedEstimatorLayoutProgram.lean 48 declarations
- RootedEstimatorMedianLaw.lean 4 declarations
- RootedEstimatorMedianProgram.lean 14 declarations
- RootedEstimatorRange.lean 4 declarations
- RootedEstimatorWordLaw.lean 11 declarations
- RootedEstimatorWordProgram.lean 47 declarations
- RootedEstimatorWordSemantics.lean 11 declarations
- RootedEstimatorWords.lean 3 declarations
- RootedFactorialApplication.lean 5 declarations
- RootedFarMass.lean 4 declarations
- RootedForestCatalog.lean 33 declarations
- RootedForestDataProgram.lean 19 declarations
- RootedForestPrepareProgram.lean 39 declarations
- RootedHistoryConfidence.lean 4 declarations
- RootedHistoryStep.lean 4 declarations
- RootedIntegerEvaluation.lean 16 declarations
- RootedIntervals.lean 2 declarations
- RootedLabelWeightProgram.lean 34 declarations
- RootedLargeMarginal.lean 6 declarations
- RootedLiteralCount.lean 8 declarations
- RootedMultiplierUpdate.lean 5 declarations
- RootedNearMass.lean 3 declarations
- RootedObservableApplication.lean 2 declarations
- RootedObservationStart.lean 2 declarations
- RootedOffsetProgram.lean 36 declarations
- RootedOracleAcceptance.lean 15 declarations
- RootedOracleChain.lean 4 declarations
- RootedOracleConfigProgram.lean 71 declarations
- RootedOracleConfigSemantics.lean 13 declarations
- RootedOracleCorrection.lean 19 declarations
- RootedOracleCut.lean 2 declarations
- RootedOracleDensity.lean 13 declarations
- RootedOracleDraw.lean 8 declarations
- RootedOracleEstimator.lean 7 declarations
- RootedOracleFiniteStep.lean 10 declarations
- RootedOracleFlatProgram.lean 14 declarations
- RootedOracleKernel.lean 12 declarations
- RootedOracleMixing.lean 6 declarations
- RootedOracleRational.lean 9 declarations
- RootedOracleSchedule.lean 2 declarations
- RootedOracleStepProgram.lean 27 declarations
- RootedOracleWalkProgram.lean 18 declarations
- RootedOracleWordProgram.lean 8 declarations
- RootedPenalty.lean 11 declarations
- RootedPenaltyEvaluateProgram.lean 31 declarations
- RootedPenaltyProgram.lean 7 declarations
- RootedPhaseAccuracy.lean 5 declarations
- RootedPhaseComposition.lean 6 declarations
- RootedPhaseExperiment.lean 7 declarations
- RootedPhaseHistory.lean 14 declarations
- RootedPhaseOracleError.lean 12 declarations
- RootedPhaseTrajectory.lean 2 declarations
- RootedPhaseTrial.lean 7 declarations
- RootedPhaseWords.lean 7 declarations
- RootedPhysicalCompletion.lean 8 declarations
- RootedPhysicalNormalizer.lean 6 declarations
- RootedPhysicalTables.lean 2 declarations
- RootedPlainTrial.lean 2 declarations
- RootedPointPenaltyProgram.lean 27 declarations
- RootedRatioSampleLaw.lean 4 declarations
- RootedRatioSampleProgram.lean 20 declarations
- RootedRatioSamples.lean 12 declarations
- RootedReferenceAccuracy.lean 2 declarations
- RootedRestartAgreement.lean 4 declarations
- RootedRestartPrefix.lean 4 declarations
- RootedRestartStages.lean 8 declarations
- RootedRestartTrial.lean 4 declarations
- RootedRestartWords.lean 10 declarations
- RootedReturnHistoryLaw.lean 2 declarations
- RootedReturnIteration.lean 3 declarations
- RootedReturnWords.lean 10 declarations
- RootedRootPenalty.lean 10 declarations
- RootedScaledBounds.lean 3 declarations
- RootedScaledIdentification.lean 5 declarations
- RootedScaledPenalty.lean 9 declarations
- RootedSlowConcentration.lean 5 declarations
- RootedStoredEstimate.lean 7 declarations
- RootedStoredHistory.lean 10 declarations
- RootedTargetMixing.lean 7 declarations
- RootedTargetTrace.lean 7 declarations
- RootedTerminalApplication.lean 2 declarations
- RootedTerminalMass.lean 3 declarations
- RootedTerminalRegions.lean 5 declarations
- RootedTrace.lean 12 declarations
- RootedTraceWords.lean 8 declarations
- RootedTreeBounds.lean 7 declarations
- RootedTreeExteriorMass.lean 3 declarations
- RootedTreeFeasibleMass.lean 4 declarations
- RootedTreeInputProgram.lean 25 declarations
- RootedTreeMarginal.lean 9 declarations
- RootedWarmReturn.lean 10 declarations
- RootedWarmStart.lean 17 declarations
- RootedWeightOracle.lean 5 declarations
- RootedZeroLabels.lean 5 declarations
- TreeExteriorMass.lean 3 declarations
- TreeExteriorPositions.lean 3 declarations
- TreeFeasibleMass.lean 10 declarations
- TreeMarginalBounds.lean 9 declarations
- TreeMarginalEnumeration.lean 6 declarations
- TreeMarginalSignature.lean 14 declarations