Compression de Preuves
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Techniques et transformations visant à réduire la taille, la longueur ou la complexité structurelle d'une preuve tout en préservant sa correction et sa vérifiabilité.