Thanks! I'll be looking into these. From a first glance, Coding the Matrix looks to be excellent and exhaustively complete, but also very verbose. From Mathematics to Generic Programming appears to be the kind of book I want to avoid. It seems to be more about a study of a few particular algorithms useful for generic programming than actually understanding the principles of mathematics.