Title: Exploring mathematics with Clixi