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