Proof mining
http://dbpedia.org/resource/Proof_mining an entity of type: Work
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 nonconstructive.This research has led to improved results in analysis obtained from the analysis of classical proofs.
rdf:langString
rdf:langString
Proof mining
xsd:integer
14484306
xsd:integer
1078982552
rdf:langString
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 nonconstructive.This research has led to improved results in analysis obtained from the analysis of classical proofs.
xsd:nonNegativeInteger
1318