Compresión de Demostraciones
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Técnicas y transformaciones aplicadas para reducir el tamaño, la longitud o la complejidad estructural de una demostración preservando su corrección y verificabilidad.