Beweiskompression

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Techniken und Transformationen zur Reduzierung der Größe, Länge oder strukturellen Komplexität eines Beweises bei gleichzeitiger Bewahrung seiner Korrektheit und Überprüfbarkeit.