This is "mostly" maths for "big data" (aka statistical efficiency over huge set of data or "qsort-ized" algos) but kind of taught the wrong way: first you learn maths, then you code algos based on current hardware architecture. I had a doubt when I did realize I could not find one of the most important topics of computer science: proof of accuracy of floating point computations. I see this more like an index of a lib…
As you say, it’s an often ignored topic while coming up again and again in software engineering