Drei wichtige Verfahren zur Kontrolle von Termumformungen sind:

1. Einzelbeispiele durch Einsetzen bestimmter Werte betrachten. Die Gefahr, dass ein Einzelbeispiel für Terme Gleichheit liefert, auch wenn diese Terme nicht äquivalent sind, ist hier besonders groß (siehe Applet unten).
2. Erstellen von Wertetabellen.
3. Vergleich von Graphen.

Im Applet sind die drei Kontrollmöglichkeiten an einem Beispiel dargestellt.