Los modelos avanzados permiten la manipulación de expresiones matemáticas simbólicas; aunque todavía pueden encontrar limitaciones a la hora de resolver ciertas expresiones.