Mathematical Software – ICMS 2018 - Davenport; George Labahn; Josef Urban; Manuel Kauers; Kauers, Manuel; Labahn, George; Urban, Josef (Springer International Publishing, 2018)