{"version":"1.0","type":"link","title":"Proof mining - Newikis","description":"In proof theory, a branch of mathematical logic, proof mining (or proof unwinding) is a research program that studies or analyzes formalized proofs, especially in analysis, to obtain explicit bounds, ranges or rates of convergence from proofs that, when expressed in natural language, appear to be…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}