Formelmanipulation mit dem Computer Band 11 Systeme und Algorithmen Mätzel Klaus