Skip to content
  1. CLRS-Lean
  2. Chapters 1–35 · CLRS Fourth Edition
  3. Chapter 4. Divide-and-Conquer
  4. Chapter 4. Divide-and-Conquer
Browse chapters
Imports
import CLRSLean.FourthEdition.Chapter_04.MatrixExecution.Asymptotics

Matrix multiplication: execution, correctness, and scalar work

The public CLRS.Chapter04.MatrixExecution namespace contains counted eight-product and Strassen algorithms, erasure to the original value functions, same-run correctness and work bounds, and their asymptotic scalar-work theorems for power-of-two square matrices.