Proof Mining

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The systematic analysis of formal proofs to uncover hidden quantitative bounds, constructive algorithms, computational content, or effective data encoded implicitly by nonconstructive or high-level derivations.