Solução simbólica rápida de sistemas polinomiais reais 

O Mathematica 10 inclui uma nova versão do algoritmo de decomposição algébrica cilíndrica usado para solucionar sistemas de desigualdades e equações polinomiais reais. Aqui são mostrados os tempos de espera para achar os conjuntos de solução de , onde , , , , , , , com as variáveis ordenadas . O experimento foi realizado em um sistema Linux de 64 bits equipado com Intel Xeon 3.07 GHz, com um limite de tempo de 36.000 segundos. O número na parte inferior mostra o quão mais rápido é o Mathematica 10 em relação ao Maple 18.