Solución simbólica rápida de sistemas de polinomios reales 

Mathematica 10 incluye una nueva versión del algoritmo de descomposición algebraica cilíndrica usado para resolver sistemas de ecuaciones y desigualdades de polinomios reales. Se muestran los tiempos para encontrar los conjuntos de soluciones de , donde , , , , , , , con las variables ordenadas . El experimento se realizó en un sistema Linux Intel Xeon 3.07 GHz de 64 bits, con un límite de tiempo de 36.000 segundos. El número en la parte inferior muestra cuán más rápido es Mathematica 10 comparado con Maple 18.