Schnelles symbolisches Lösen von reellen Polynomsystemen 

Mathematica 10 bietet eine neue Version des zylindrisch-algebraischen Zerlegungsalgorithmus zum Lösen von Systemen aus rellen Polynomgleichungen und -ungleichungen. Im Folgenden ist der Zeitbedarf zum Lösen von angegeben, wobei , , , , , , , mit den Variablen in der Reihenfolge . Das Experiment wurde auf einem Intel Xeon 3.07 GHz 64-bit Linux-System durchgeführt, mit einem Zeitlimit von 36 000 Sekunden. Die unten angeführte Zahl gibt an, wieviel schneller Mathematica 10 als Maple 18 ist.

In[1]:=
Click for copyable input
X
In[2]:=
Click for copyable input
X
In[3]:=
Click for copyable input
X
en es ja pt-br zh