Last time I checked Wolfram wasnt even hiring. . . . . . . Why bother learning Mathematica or writing your own free version i mean seriously? There are perfectly good Javascript libraries for doing whatever "math" stuff you feel like burying your nose in and another thing. . . . It's actually impossible to write a computer program that will prove anything significant. Turing figured that out like 80 years ago, get a clue morans