Experimentation in mathematics: computational paths to discovery | Synapse