(g+) Denk mal symbolisch!: Wie man automagisch mathematische Formeln findet