OAI/LinearAlgebra/MatrixMultiplication/CoppersmithWinograd/
591 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- CWCoarseIndices.lean 5 declarations
- CWCompatibilityTransfer.lean 10 declarations
- CWCompleteStatistics.lean 14 declarations
- CWLeafRestrictions.lean 13 declarations
- CWLeafStatistics.lean 7 declarations
- CWOrientedZero.lean 20 declarations
- CWShapeLeaves.lean 4 declarations
- CWShapePhysicalPermutation.lean 9 declarations
- CWStageC.lean 14 declarations
- CWStageCChildProducts.lean 26 declarations
- CWStageCPlacements.lean 11 declarations
- CWStageCProductRates.lean 35 declarations
- CWStageCProducts.lean 42 declarations
- CWStageCShapeProducts.lean 11 declarations
- CWStageCStatistics.lean 8 declarations
- CWStrandCompatibility.lean 5 declarations
- CWStrands.lean 13 declarations
- CWWindowedLeaves.lean 21 declarations
- CWWordDimensionParameters.lean 5 declarations
- CWWordDimensions.lean 8 declarations
- CWZeroGeometry.lean 11 declarations
- ComplexCW75InitialExecution.lean 42 declarations
- ComplexCW75LabelHierarchy.lean 66 declarations
- ComplexCW75Primitive.lean 47 declarations
- ComplexCWBoundary.lean 33 declarations
- ComplexCWLocalConstruction.lean 13 declarations
- ComplexCWOriginalWords.lean 45 declarations
- ComplexCWPrimitiveDegeneration.lean 19 declarations
- ComplexCoppersmithWinograd.lean 12 declarations
- FieldCW.lean 22 declarations