OAI/Analysis/MatrixSigning/Complexity/
889 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- BinaryGCDCost.lean 6 declarations
- BitSupport.lean 46 declarations
- ComplexScalarCosts.lean 8 declarations
- GCDMachinePolynomial.lean 5 declarations
- GlobalCounts.lean 67 declarations
- NaturalPolynomial.lean 18 declarations
- PSDControllerPolynomial.lean 17 declarations
- PolynomialArithmeticFamilies.lean 5 declarations
- PolynomialArrays.lean 23 declarations
- PolynomialBranchFamilies.lean 4 declarations
- PolynomialCeiling.lean 3 declarations
- PolynomialCoordinates.lean 30 declarations
- PolynomialCurvature.lean 27 declarations
- PolynomialExplicit.lean 8 declarations
- PolynomialFaceBasics.lean 22 declarations
- PolynomialFaceChoice.lean 12 declarations
- PolynomialFaceFuel.lean 6 declarations
- PolynomialFaceNext.lean 3 declarations
- PolynomialFaceOrbit.lean 12 declarations
- PolynomialFaceQuery.lean 8 declarations
- PolynomialFaceRun.lean 5 declarations
- PolynomialFamilies.lean 21 declarations
- PolynomialFinFamilies.lean 3 declarations
- PolynomialFind.lean 3 declarations
- PolynomialIterateFamilies.lean 1 declarations
- PolynomialLists.lean 22 declarations
- PolynomialLoops.lean 13 declarations
- PolynomialMapFamilies.lean 1 declarations
- PolynomialMatrixFold.lean 24 declarations
- PolynomialMatrixSum.lean 5 declarations
- PolynomialMemberFamily.lean 1 declarations
- PolynomialOptimize.lean 33 declarations
- PolynomialOriginalFields.lean 20 declarations
- PolynomialOriginalOutput.lean 6 declarations
- PolynomialOriginalSigning.lean 5 declarations
- PolynomialPotential.lean 16 declarations
- PolynomialRoots.lean 19 declarations
- PolynomialRoundedStep.lean 14 declarations
- PolynomialRoutine.lean 16 declarations
- PolynomialScalar.lean 13 declarations
- PolynomialSchedule.lean 20 declarations
- PolynomialSearch.lean 12 declarations
- PolynomialStencil.lean 15 declarations
- PolynomialStored.lean 37 declarations
- PolynomialValueQuery.lean 36 declarations
- PolynomialVariance.lean 19 declarations
- QueryBits.lean 8 declarations
- RationalCost.lean 19 declarations
- RationalGridBits.lean 15 declarations
- SchurCellCost.lean 3 declarations
- SchurPolynomialBound.lean 3 declarations
- SparseScalarCost.lean 3 declarations
- StorageCost.lean 56 declarations
- StoredBits.lean 65 declarations
- TerminalWitnessCost.lean 7 declarations