QuantumComputinglib learn · inspect · formalize
Checked on this commit 4,524 public declarations commit 4e2c5b2c0be5 Build record

QuantumComputingBench · graph-grounded exercise book

Shared mathematical foundations

Start with dimensions, inner products, isometries and explicit conventions. The same foundations support state preparation, block encoding and later quantum-information arguments.

Back to the non-lean reader path

  1. Linear Algebra (12 shared cores)
  2. Matrix Constructions (19 shared cores)
  3. Wire Placement (2 shared cores)
  4. Angle Approximation (1 shared cores)
  5. Phase Semantics (1 shared cores)
  6. Reversible Classical (2 shared cores)
  7. Sparse Stencil Algebra (1 shared cores)
  8. Stored Cost Refinement (20 shared cores)