sin(x+y) = sin(x)cos(y)+sin(y)cos(x)
können mit Mathematica durchgeführt werden. Hierbei gibt es Prozeduren zur Umformung in beiden Richtungen, und sogar die Faktorisierung trigonometrischer Terme wird unterstützt. Im Rahmen dieser Diplomarbeit soll getestet werden, wie gut und auch wie effizient diese Umformungen durchgeführt werden, und es sollen gegebenenfalls eigene Programmierungen für diesen Zweck vorgenommen werden. Ziel ist es, eine Dokumentation dieser erweiterten Funktionalität zu erstellen. Dazu gehört natürlich die Beschreibung der zugrundeliegenden Mathematik.