Wolfram, the company behind Mathematica released their new "computational engine" a while ago, with the aim of the project to "make all systematic knowledge computable".
Whether they succeed or not, I don't know (I doubt it), but it can do some very neat things nevertheless, especially in...