Beispiel (Mathematica) Im folgenden werden einige Möglichkeiten der Manipulation von Formelausdrücken anhand des Computer-Algebrasystems MATHEMATICA aufgezeigt.
Symbolisches Differenzieren: Mit MATHEMATICA kann man alle elementaren mathematischen Funktionen symbolisch ableiten. So erhält man z.B. mit
In [1]:= -3x^4 + 12x^2 + 25x^3 + 2
out[1]= 2 + 122 + 25 x 3 - 3 x4
in[2]:= D[%,x]
out[2]= 24 x + 752 - 123
für das Polynom:
P(x)= -34 + 25x3 + 12 x2 + 2
die Ableitung p(x):= P':= P'(x)= -12x3 +75x2 +24x.
Symbolisches Integrieren: MATHEMATICA ermöglicht auch das symbolische Integrieren. Falls man keine Integrationsgrenzen vorgibt, wird zur gegebenen Funktion eine Stammfunktion ermittelt. So erhält man beim Integrieren der oben erhaltenen Funktion.
P(x)= -12x3 +75x2 +24x. die Funktion P(x)= -34 + 25x3 + 12 x2 ,
die eine Stammfunktion ist:
in [3] := Integrate[ 24 x + 75x^2 - 12x^3, x]
out[3]=122 +253 - 34
Kann MATHEMATICA keinen gesclossenen Ausdruck für eine Stammfunktion der vorgegebenen Funktion finden, so wird die Eingabefunktion wieder in ihrer ursprünglichen Form ausgegeben.
Bestimmen von Nullstellen: Mit MATHEMATICA kann man die Nullstellen elementarer Funktionen bestimmen. Es muß dabei angegeben werden, nach welcher Variablen aaufgelöst werden soll. Die anderen Platzhalter werden dann als konstant angenommen.
In[4] := Solve[4 a x + 25 a x ^2 - 4 x ^3 == 0, x]
Lösen von Differentialgleichungen: Interessant und wichtig ist auch die Möglichkeit, gewöhnliche Differentialgleichungen symbolisch zu lösen. So findet MATHEMATICA z.B. als Lösung für die Differentialgleichung y'(x) = ay(x) + 4x die Funktion.
Werden anfangsbedingungen vom Benutzer angegeben, so bestimmt MATHEMATICA auch den passenden Wert für die Konstante C1.