Beweisauswertung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die systematische Analyse formaler Beweise mit dem Ziel, versteckte quantitative Schranken, konstruktive Algorithmen, rechnerischen Inhalt oder effektive Daten offenzulegen, die implizit in nichtkonstruktiven oder abstrakten Herleitungen kodiert sind.