If you're interested in this kind of work, and especially if you're also interested in using computers to open up new kinds of mathematical play and learning, y

If you're interested in this kind of work, and especially if you're also interested in using computers to open up new kinds of mathematical play and learning, you should read Seymour Papert's "Mindstorms" book. The ideas are powerful and radical. Radical enough to explain why run-of-the-mill schools never successfully integrated awesome tools like LOGO and its descendants. They can't deal with learning that's so child-driven and free.