En la práctica las posibilidades de un error que invalide una demostración asistida por computador pueden reducirse al incorporar redundancia y auto-revisiones en los cálculos, y al desarrollar enfoques y programas múltiples e independientes.