Mathematische Optimierung mit Computeralgebrasystemen