Hallo Georg, Probier mal Mupad. Ist ein Tool was an der Uni Paderborn entwickelt wird: http://www.mupad.de/ Es gibt eine Linuxversion, die nach einer kostenlosen Registrierung für nichtkommerzielle Anwender kostenlos ist. Gruß Henning