Algorithmic and experimental methods in algebra, geometry, and number theory. ([2017])