SMS: Mathematics by experiment