Problemcore
Sparse matrix-vector multiplication
Multiplying a matrix with mostly zero entries by a vector using sparse rows, so the cost depends on nonzero entries.
Multiplying a matrix with mostly zero entries by a vector using sparse rows, so the cost depends on nonzero entries.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag JJHJMQ Edit this page History Report an error