Ask HN: What softwares that train advanced math skills?

Such as Calculus, Differential Equations, Topology.. etc.. The online training software at khanacademy.org is still too rudimentary, at least at this moment, though I like the idea very much.