Literatur

• Wolfram Koepf: Computeralgebra, Springer, 2006. http://www.mathematik.uni-kassel.de/~koepf/CA/
• Hans-Gert Gräbe: Einführung in das Symbolische Rechnen, Gröbnerbasen und Anwendungen, Skripte, Universität Leipzig http://www.informatik.uni-leipzig.de/~graebe/skripte/
• Franz Baader and Tobias Nipkow: Term Rewriting and All That, Cambridge, 1998. http://www21.in.tum.de/~nipkow/TRaAT/
• weitere Literatur siehe z.B. https://portal.risc.jku.at/Members/hemmecke/teaching/ppscs