I know Mathematica as the go-to tool for mathmaticians and theoretical physicists trying to work their way through proofs. HPC doesn't come into that game (perf

I know Mathematica as the go-to tool for mathmaticians and theoretical physicists trying to work their way through proofs. HPC doesn't come into that game (performance isn't an issue), and frankly I didn't even know it could! Nobody used it for any heavy computational work.