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.