Wieviel Termumformung braucht der Mensch?: Fragen zu Zielen und Inhalten eines künftigen Mathematikunterrichts angesichts der Verfügbarkeit informatischer Methoden