Computeralgebrasysteme (CAS) können manche Ungleichungen lösen, manche nicht. Selbst wenn sie einmal keine Lösung liefern, so können sie doch oft Hinweise liefern, die für die Ermittlung der Lösung hifreich sind.
Ein solches Werkzeug zur Lösung von Ungleichungen der Form 
wird in den folgenden Aufgaben eingesetzt.