Computer Algebra in Scientific Computing (CASC 2017)