Algorithmic and experimental methods in algebra, geometry, and number theory - Böckle, Gebhard 1964-; Decker, Wolfram; Malle, Gunter 1960- (Springer, 2017)