I mean, mining involves matvecs of course, https://sparse.tamu.edu/GHS_indef/tuma2 https://sparse.tamu.edu/GHS_indef/tuma2 but I think there are a bunch of addi

I mean, mining involves matvecs of course, https://sparse.tamu.edu/GHS_indef/tuma2 https://sparse.tamu.edu/GHS_indef/tuma2 but I think there are a bunch of additional steps as well, they need to pick up rocks and carry them to the surface or something.