Un programa de esta clase puede encontrar limitaciones a la hora de resolver ciertas expresiones derivadas, integrales, antiderivadas, límites, cuando éstas tienen alguna ambigüedad o indefinición, o por las propias limitaciones del sistema.