[sn9]

There are two books I know of that address an audience of programmers interested in mathematics: Klein's Coding the Matrix and Stepanov's From Mathematics to Generic Programming.

Have you looked at these two? It might help your writing process to find what readers of those books found confusing or frustrating in the presentation.

[j2kun]

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.