Computer Algebra in Scientific Computing - Boulier (Springer International Publishing, 2020)