Computer Algebra for HPC