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 lean reader path

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