In practice, the chances of an error invalidating a computer-assisted proof can be reduced by incorporating redundancy and self-checks into calculations, and by developing multiple independent approaches and programs.
Na práctica, as posibilidades de erro que invalidan unha demostración asistida por ordenador poden reducirse incorporando redundancia e autocomprobacións nos cálculos, e desenvolvendo múltiples aproximacións e programas independentes.