Although it's not exactly math heavy, I think Steven Skiena's Algorithm Design Manual manages to bridge the gap between the "Programming Collective Intelligence" and something like Knuth's books.
The details of the math might be quite good as examples of math techniques for evaluating the execution time ('computational time complexity') of some algorithm not covered in Knuth.