Algorithmic and experimental methods in algebra, geometry, and number theory.